1. K. Apt, H. Blair, and A. Walker, “Towards a theory of declarative knowledge,” in PTOC. 1986 Workshop on Foundations of Deductive Databases and Logic Programming, 1986.
2. G. Boole, An Investigation into the Laws of Thought, on Which Are Founded the Mathematical Theories of Logic and Probabilities, 1854.
3. A. Church, Introduction to Mathematical Logic, Part I, (Annals of Mathematics Studies, No. 13), Princeton University Press, 1944 (reprinted by Kraus Reprint Corporation, New York, 1965).
4. K.L. Clark, “Negation as Failure,” in H. Gallaire and J. Minker (Eds.), Logic and Data Bases, Plenum, New York, 1978, pp.293–322.
5. R. Davis, “Diagnostic Reasoning Based on Structure and Behavior,” Artificial Intelligence, 1984, 24(1-3):347–410.