Baral, C. and Gabaldon, A. and Provetti, Alessandro (1998) Formalizing narratives using nested circumscription. Artificial Intelligence 104 (1/2), pp. 107-164. ISSN 0004-3702.

Baral, C. and Gabaldon, A. and Provetti, Alessandro (1998) Value minimization in circumscription. Artificial Intelligence 102 (2), pp. 163-186. ISSN 0004-3702.

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.

Baral, C. and Gabaldon, A. and Provetti, Alessandro (1996) Value minimization in circumscription. In: Carlucci Aiello, L. and Doyle, J. and Shapiro, S.C. (eds.) Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning. Morgan Kaufmann, pp. 474-481.