1. W. Borst. Construction of Engineering Ontologies. PhD thesis, Institute for Telematica and Information Technology, University of Twente, Enschede, The Netherlands, 1997.
2. R. Carnap. Meaning and Necessity – A Study in Semantics and Modal Logic. The University of Chicago Press, second edition, 1956.
3. S. K. Das. Deductive Databases and Logic Programming. Addison Wesley, 1992.
4. D. R. Dowty, R. Wall, and S. Peters. Introduction to Montague Semantics, volume 11 of Studies in Linguistics and Philosophy. Springer, Heidelberg, 1980.
5. M. R. Genesereth and N. J. Nilsson. Logical Foundations of Artificial Intelligence. Morgan Kaufmann, Los Altos, CA, 1987.