- 76. Dept. of Computational Logic, University of Edinburgh School of Artificial Intelligence, (June 1974)
- IBM Systems Journal 41(3):331-349 (2002)
- Information Processing \& Management 12(3):189-222 (1976)
- Morgan Kaufmann, (1994)
- (1999)http://www.signiform.com/tt/htm/overview.htm .
- (2000)http://arXiv.org/abs/cs/0003003 .
- Machine Intelligence (1969)
- Formalizing Common Sense, Ablex, Norwood, NJ, (1976)
- Communications of the ACM 30(12):1030-1035 (1987)Also in http://www-formal.stanford.edu/jmc/ .
- Artificial Intelligence (2000)
- Special issue of LNAI: Artificial Intelligence Today; RecentTrends and Developments (1999)
- (1990)To appear in: Jurgen Allgayer ed, Proc. of the Workshop on Plurals and Quantifiers, GWAI .
- 86-63. Stanford University, (October 1986)
- IBM Systems Journal (2002)Technical forum .
- IBM Systems Journal (2002)Technical forum .


user