1. 1. Genesereth, M.R. and Nilsson, N.J. (1988), Logical foundations of artificial intelligence, Morgan Kaufmann Publishers, California, USA.
2. 2. Fulton, J.A. (1992), Standards working document ISO TC184/SC4/WG3 N103, IGES/PDSES Organization, Dictionary/Methodology Committee, USA, Technical report on the semantic unification meta-model.
3. 3. Enderton, H.B. (1972), A mathematical introduction to logic, Academic Press, San Diego, USA.
4. 4. Newell, R.R. (1982), The knowledge level, Artificial Intelligence, Vol. 18, no. 1, pp. 87-127, HYPERLINK «https://doi.org/10.1016/0004-3702%2882%2990012-1" \o »Persistent link using digital object identifier" \t «_blank» doi: 10.1016/0004-3702(82)90012-1.
5. 5. Levesque, H.J. (1984), Foundations of a functional approach to knowledge representation, Artificial Intelligence, Vol. 23, no. 1, pp. 155-212, available at: HYPERLINK «https://doi.org/10.1016/0004-3702%2884%2990009-2" \o »Persistent link using digital object identifier" \t «_blank» doi: 10.1016/0004-3702(84)90009-2.