TY  - RPRT
TI  - A Labelled Analytic Theorem Proving Environment for Categorial Grammar
AU  - Saturnino F. Luz-Filho
AU  - Patrick Sturt
PY  - 1995
UR  - https://arxiv.org/abs/cmp-lg/9508009
ID  - cmp-lg/9508009
ER  -