Parsing as deduction (1983)

by F C N Pereira, D H D Warren
Venue:In Proc. ACL’83, 21st Annual Meeting of the Association for Computational Linguistics