Baral, C. and Gabaldon, A. and Provetti, Alessandro (1996) Formalizing narratives using nested circumscription. In: Clancey, W.J. and Weld, D.S. (eds.) Proceedings of the Thirteenth National Conference on Artificial Intelligence and Eighth Innovative Applications of Artificial Intelligence Conference. AAI Press.