Lifschitz, V., Foundations of Declarative Logic Programming, in: G. Brewka (ed.), Principles of Knowledge Representation, Studies in Logic, Language and Information, CSLI publishers, to appear 1996
International Conference on Principles of Knowledge Representation and
Reasoning, 1991