"Formalizing Narratives Using Nested Circumscription."

Chitta Baral, Alfredo Gabaldon, Alessandro Provetti (1998)
a service of Schloss Dagstuhl - Leibniz Center for Informatics