Title: Focal structures and information types in Prolog
First published: 2001