1. Rounds, W.C., Zhang, G.Q.: Clausal logic and logic programming in algebraic domains. Information and Computation 171, 156–182 (2001)
2. Abramsky, S., Jung, A.: Domain theory. In: Abramsky, S., Gabbay, D., Maibaum, T.S. (eds.) Handbook of Logic in Computer Science, Clarendon, Oxford, vol. 3 (1994)
3. Reiter, R.: A logic for default reasoning. Artificial Intelligence 13, 81–132 (1980)
4. Lecture Notes in Computer Science;T. Eiter,1997
5. Simons, P., Niemelä, I., Soininen, T.: Extending and implementing the stable model semantics. Artificial Intelligence (200x) (to appear)