Lambek calculus is NP-complete (2006)

by Mati Pentus
Venue:Theoretical Computer Science