TY  - RPRT
TI  - Tableaux for the Lambek-Grishin calculus
AU  - Arno Bastenhof
PY  - 2010
UR  - https://arxiv.org/abs/1009.3238
ID  - 1009.3238
ER  -