Jason Eisner Efficient Normal-Form Parsing for Combinatory Categorial Grammar. 79-86 1996 ACL db/conf/acl/acl96.html#Eisner96