1. Alfred V. Aho, Ravi Setvi, and Jeffrey D. Ullman. Compilers Principles, Techniques, and Tools. Addison Wesley, 1988.
2. Rachel Ben-Eliyahu and Rina Dechter. Propositional Semantics for Disjunctive Logic Programs. In K. R. Apt, editor, LOGIC PROGRAMMING: Proceedings of the 1992 Joint International Conference and Symposium, pages 813–827, Cambridge, Mass., November 1992. MIT Press.
3. D. Brand. Proving theorems with the mofication method. SIAM Journal, 4:412–430, 1975.
4. CSLI Lecture Notes;G. Brewka,1997
5. Michael Gelfond and Vladimir Lifschitz. The Stable Model Semantics for Logic Programming. In R. Kowalski and K. Bowen, editors, 5th Conference on Logic Programming, pages 1070–1080. MIT Press, 1988.