1. Allen J. F. and Koomen J. A. Planning using a temporal world model, Proceedings of the 8th International Joint Conference on Artificial Intelligence, IJCAI, 1983.
2. Barwise J. and Perry J. Situations and Attitudes, The MIT Press, 1983.
3. Backofen R., Trost H. and Uszkoreit H. Linking typed feature formalisms and terminological knowledge representation languages in natural languages front-ends, 375-383, in Brauer and Hernández (editors), Verteilte Künstliche Intelligenz und Kooperatives Arbeiten, 4. Internationaler Kongreß Wissensbasierte Systeme, München, 1991.
4. Branchman R. J. and Schmolze J. G. An overview of the KL-ONE knowledge representation system, Cognitive Science, 9(2): 171–216, April–June, 1985.
5. Davidson D. The logical form of action sentences, in Nicholas Rescher (editor), The Logic of Decision and Action, 81–95. University of Pittsburgh Press, Pittsburgh, 1967.