1. Burris, Stanley and Sankappanavar, H. P. (1981): A Course in Universal Algebra. Number 78 in Graduate Texts in Mathematics. Springer.
2. Gelfond, Michael and Lifschitz, Vladimir (1988): The Stable Model Semantics for Logic Programs. In Proceedings of the 5th International Conference on Logic Programming, pp. 1070–1080. MIT–Press, Cambridge, Mass.
3. Gelfond, Michael and Lifschitz, Vladimir (1990): Logic Programs with Classical Negation. In Proceedings of the ICPL–90, pp. 579–597. MIT–Press, Cambridge, Mass.
4. Goranko, Valentin (1985): The Craig Interpolation Theorem for Propositional Logics with Strong Negation. Studia Logica 44: 291–317.
5. Lecture Notes in Artificial Intelligence;H. Herre,1992