TY  - JOUR
AU  - S. L. Kuznetsov
TI  - On translating Lambek grammars with one division into context-free grammars
JO  - Trudy Matematicheskogo Instituta imeni V.A. Steklova
PY  - 2016
SP  - 141
EP  - 151
VL  - 294
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/TM_2016_294_a7/
LA  - ru
ID  - TM_2016_294_a7
ER  -