1. Elisabeth André and Thomas Rist. 1994. Referring to World Objects with Text and Pictures, technical report, German Research Center for Artificial Intelligence (DFKI).
2. Jon Barwise and John Etchemendy. 1994. Hyperproof. CSLI.
3. A. Borning. 1981. The Programming Language Aspects of Thinglab, A Constraint-Oriented Simulation Laboratory. ACM Transactions in Programming Languages and Systems. 3, No. 4. pp. 353–387.
4. B. Chandrasekaran. 1997. Diagrammatic Representation and Reasoning: some Distinctions. Working notes on the AAAI-97 Fall Symposium Reasoning with Diagrammatic Representations II. MIT, November 1997. (Also in this volume).
5. David R. Dowty, Robert E. Wall and Stanley Peters. 1985. Introduction to Montague Semantics. D. Reidel Publishing Company, Dordrecht, Holland.