Timothy A. D. Fowler Efficiently Parsing with the Product-Free Lambek Calculus. 217-224 2008 COLING http://www.aclweb.org/anthology/C08-1028 conf/coling/2008 db/conf/coling/coling2008.html#Fowler08