T. Syrjänen. Helsinki University of Technology, Faculty of Information and Natural Sciences, Department of Information and Computer Science, Espoo, Finland, Doctoral dissertation, TKK Dissertations in Information and Computer Science TKK-ICS-D12, (2009)
M. Gelfond, and V. Lifschitz. Proceedings of the Fifth International Conference on Logic Programming, page 1070--1080. Cambridge, Massachusetts, The MIT Press, (1988)