1. Akama, K., Nantajeewarawat, E.: Meaning-Preserving Skolemization. In: 2011 International Conference on Knowledge Engineering and Ontology Development, Paris, France, pp. 322–327 (2011)
2. Chang, C.-L., Lee, R.C.-T.: Symbolic Logic and Mechanical Theorem Proving. Academic Press (1973)
3. Lecture Notes in Computer Science;R. Hasegawa,1997
4. Lloyd, J.W.: Foundations of Logic Programming, 2nd edn. Springer (1987)
5. Minker, J.: Foundations of Deductive Databases and Logic Programming. Morgan Kaufmann Publishers (1988)