TY - RPRT TI - The Lambek-Grishin calculus is NP-complete AU - Jeroen Bransen PY - 2010 UR - https://arxiv.org/abs/1005.4697 ID - 1005.4697 ER -