Non-associative Lambek categorial grammar in polynomial time, Mathematical logic Quarterly 41 (1995)

by E Aarts, K Trautwein