1. Non-associative Lambek categorial grammar in polynomial time;Aarts;Mathematical logic Quarterly,1995
2. The non-associative Lambek calculus with product in polynomial time;Groote,1999
3. The mathematics of sentence structure;Lambek;American Mathematical Monthly,1958
4. A Graph-Theoretic Approach to Polynomial-Time Recognition with the Lambek Calculus;Penn,2005
5. Lambek calculus is NP-complete;Pentus;Theoretical Computer Science,2006