Constraints over lambda structures in semantic underspecification, COLING/ACL'98, 1998. ,
D-tree Substitution Grammars, Computational Linguistics, vol.27, issue.1, pp.87-121, 2001. ,
Reasoning with descriptions of trees, 30th Annual Meeting of the Association for Computational Linguistics, pp.72-80, 1992. ,