1. J. Barnden,Beliefs, metaphorically speaking,Proc. of First Int. Conf. on Principles of Knowledge Representation, Toronto 1989.
2. L. Farinas del Cerro,Linear modal deduction,CADE 85, 1985.
3. U. Furbach, S. Holldobler andJ. Schreiber,Horn equational theories and paramodulation,Journal of Automated Reasoning, 1989.
4. J. Hintikka,Knowledge and belief ITHACA Cornell University Press, New York 1962.
5. J. Hintikka,Personal Communication, 1991.