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)
G. Brewka. Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), Whistler, Canada, June 2-5, 2004, стр. 213--223. AAAI Press, (2004)