Abstract

cfd cd** fd f. d da. a a* ... CSLI Lecture Notes, 1991. [Barwise94] Barwise J and Etchemendy J, Hyperproof. Stanford, CA: CSLI Lecture Notes, 1994. [Chandra93] Chandrasekaran B, Narayanan N H, and Iwasaki Y, “Reasoning with Diagrammatic Representations: A Report on the Spring Symposium.” AI Magazine v. 14 (Summer 1993). ................
................