M. Gelfond, and V. Lifschitz. Proceedings of the Fifth International Conference on Logic Programming, page 1070--1080. Cambridge, Massachusetts, The MIT Press, (1988)
G. Brewka. Eighteenth national conference on Artificial intelligence, page 100--105. Menlo Park, CA, USA, American Association for Artificial Intelligence, (2002)
J. Alferes, and L. Pereira. JELIA '00: Proceedings of the European Workshop on Logics in Artificial Intelligence, page 345--360. London, UK, Springer-Verlag, (2000)