The following two papers first appeared as AI Lab Memos in 1989.
Natural Langauge Syntax and First Order Inference Artifiial Intelligence Journal, 1992 with Robert Givan
Taxonomic Syntax for First Order Inference in the Journal of the ACM (JACM), 1993 with Robert Givan
Natural Language Based Inference Procedures Applied to Schubert's Steamroller with Robert Givan and Sameer Shalaby in AAAI, 1991.
Cognitive Judgements, AAAI 1991.
Some slides from a 1995 talk on obviousness.