Factoring recursion and dependencies: an aspect of tree adjoining grammars (TAG) and a comparison of some formal properties of TAGs, GPSGs, PLGs, and LPGs

On the mathematical properties of linguistic theories

Computational Linguistics - Special issue on mathematical properties of grammatical formalisms

Computational linguistics research at the University of Pennsylvania

Computational Linguistics

Categorial and non-categorial languages

ACL '86 Proceedings of the 24th 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

Phrase structure grammars and natural languages

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

Unrestricted gapping grammars

IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 2

Grammar Induction by Unification of Type-logical Lexicons

Journal of Logic, Language and Information