Product-free Lambek calculus is NP-complete

TitleProduct-free Lambek calculus is NP-complete
Publication TypeJournal Article
Year of Publication2012
AuthorsSavateev, Y
JournalAnnals of Pure and Applied Logic
Volume163
Pagination775-788
URLhttp://www.iam.unibe.ch/ltgpub/2012/sav12.pdf
DOI10.1016/j.apal.2011.09.017