Jeroen Bransen. The Lambek-Grishin Calculus Is NP-Complete. In Philippe de Groote, Mark-Jan Nederhof, editors, Formal Grammar - 15th and 16th International Conferences, FG 2010, Copenhagen, Denmark, August 2010, FG 2011, Ljubljana, Slovenia, August 2011, Revised Selected Papers. Volume 7395 of Lecture Notes in Computer Science, pages 33-49, Springer, 2010. [doi]
Abstract is missing.