1. Apt, K.R., Blair, H. A. and Walker, A.: Towards a theory of declarative knowledge, in J. Minker (ed.),Foundations of Deductive Databases and Logic Programming, Kaufmann, Los Altos, 1988, pp. 89?148.
2. Baral, C. and Subrahmanian, V. S.: Stable and extension class theory for logic programs and default logic. Technical report CS-TR-2402, Dept. of Computer Science, University of Maryland, February 1990.Journal of Automated Reasoning (to appear).
3. Baral, C. and Subrahmanian, V. S.: Dualities between alternative semantics for logic programming and nonmonotonic reasoning, inProc. First Int. Workshop on Logic Programming and Non-monotonic Reasoning, pp. 69?86. MIT Press, 1991.
4. Bell, C., Nerode, A., Ng R. and Subrahmanian, V.S.: Implementing stable semantics by linear programming, inProc. of the International Workshop on Logic Programming and Nonmonotonic Reasoning (LP-NMR'93), MIT Press, Cambridge, 1993, pp. 23?42.
5. Bonatti, P.: A more general solution to the multiple expansion problem, inProc. of the Workshop on Non-Monotonic Reasoning and Logic Programming, NACLP'90.