Syntax and semantics in parsing: an application to montague grammar.

Natural language querying of historical databases

Computational Linguistics

Memoing for logic programs

Communications of the ACM

On the mathematical properties of linguistic theories

Computational Linguistics - Special issue on mathematical properties of grammatical formalisms

Using semantics in non-context-free parsing of montague grammar

Computational Linguistics

The representation of inconsistent information in a dynamic model-theoretic semantics

ACL '82 Proceedings of the 20th annual meeting on Association for Computational Linguistics

On the mathematical properties of linguistic theories

ACL '83 Proceedings of the 21st annual meeting on Association for Computational Linguistics

Formal and computational linguistics: University of Michigan

ACM SIGART Bulletin

Computational studies of formal theories of natural language: Oregon State University

ACM SIGART Bulletin

Phrase structure grammars and natural languages

IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 1