Timothy A. D. Fowler Term Graphs and the NP-Completeness of the Product-Free Lambek Calculus. 150-166 2009 FG http://dx.doi.org/10.1007/978-3-642-20169-1_10 conf/fg/2009 db/conf/fg/fg2009.html#Fowler09