1. Hamilton, A.G.: Logic for Mathematicians. Cambridge University Press, Cambridge (1978). ISBN 0-521-21838-1
2. Baader, F., et al.: The Description Logic Handbook—Theory, Implementation and Applications. Cambridge University Press, Cambridge (2003). ISBN 0-521-78176-0
3. Richards, T., et al.: Clausal form Logic: An Introduction to the Logic of Computer Programming. Addison Wesley, Reading (1989). ISBN 978-0201129205
4. Quillian, M.R.: Semantic memory. In: Minsky, M. (ed.) Semantic Information Processing, pp. 27–70. MIT Press, MA (1968)
5. Sowa, J. F.: Conceptual graph (Online), 2005 (Citation: 20.12.2013).
http://www.jfsowa.com/cg/index.htm