1. Lukasová, A., Vajgl, M., Žáček, M.: Reasoning in RDF graphic formal system with quantifiers. In: Proceedings of the International Multiconference on Computer Science and Information Technology, 2010, pp. 67–72
2. Richards, T.: Clausal Form Logic. An Introduction to the Logic of Computer Reasoning. Addison Wesley (1989)
3. Lukasová, A., Žáček, M., Vajgl, M., Kotyrba, M.: Resolution reasoning by RDF clausal form logic. IJCSI Int. J. Comput. Sci. Issues 9(3, No 1) (2012). ISSN (Online): 1694-0814. http://www.IJCSI.org
4. Lukasová, A., Žáček, M., Vajgl, M.: Reasoning in graph-based clausal form logic. IJCSI Int. J. Comput. Sci. Issues 9(1, No 3), 37–43 (2012). ISSN (Online): 1694-0814
5. Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.: The Description Logic Handbook. Cambridge University Press, United Kingdom (2004)