1. Baral, C., Subrahmanian, V.: Duality between alternative semantics of logic programs and nonmonotonic formalisms. In: Nerode, A., Marek, W., Subrahmanian, V. (eds.) Intl. Workshop on Logic Programming and Nonmonotonic Reasoning, Washington DC, pp. 69–86. MIT Press, Cambridge (1991)
2. Denecker, M., Marek, V., Truszczynski, M.: Approximating operators, stable operators, well-founded fixpoints and applications in non-monotonic reasoning. In: Logic-based Artificial Intelligence. The Kluwer International Series in Engineering and Computer Science, pp. 127–144 (2000)
3. Denecker, M., Marek, V., Truszczynski, M.: Uniform semantic treatment of default and autoepistemic logics. Artificial Intelligence 143(1), 79–122 (2003)
4. Erdoğan, S.T., Lifschitz, V.: Definitions in Answer Set Programming. In: Lifschitz, V., Niemelä, I. (eds.) LPNMR 2004. LNCS (LNAI), vol. 2923, pp. 185–197. Springer, Heidelberg (2004)
5. Fitting, M.: A Kripke-Kleene Semantics for Logic Programs. Journal of Logic Programming 2(4), 295–312 (1985)