Term Graphs and the NP-Completeness of the Product-Free Lambek Calculus.

Timothy A. D. Fowler

Browse the full FG paper archive.