1. C. Baral, J. Lobo, and J. Minker. Generalized disjunctive well-founded semantics for logic programs. Technical Report UMIACS TR 90-39, CS TR 2436, Dept of Computer Science, University of Maryland, College Park Md 20742, March 1989. Shorter versions appear in ISMIS 90.
2. C. Baral, J. Lobo, and J. Minker. Generalized well-founded semantics for logic programs. Technical Report CS-TR-2330, Dept of Computer Science, University of Maryland, College Park Md 20742, 1989. Presented in the 10th International Conference on Automated Deduction, West Germany, July 90 (CADE 90).
3. C. Baral and V. S. Subrahmanian. Stable and Extension Class Theory for Logic Programs and Default Logics. Technical Report CS-TR-2402, Dept of Computer Science, University of Maryland, February 1990. Presented in the Third International Workshop in Non-monotonic reasoning, South Lake Tahoe, May 90 and extended version to appear in Journal of Automated Reasoning.
4. M. Gelfond and V. Lifschitz. The Stable Model Semantics for Logic Programming. In R.A. Kowalski and K.A. Bowen, editors, Proc. 5th International Conference and Symposium on Logic Programming, pages 1070–1080, Seattle, Washington, August 15–19, 1988.
5. J.W. Lloyd. Foundations of Logic Programming. Springer-Verlag, second edition, 1987.