TY  - JOUR
AU  - Yu. V. Savateev
TI  - An application of proof-nets to the study of fragments of the Lambek calculus
JO  - Izvestiya. Mathematics 
PY  - 2011
SP  - 631
EP  - 663
VL  - 75
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/IM2_2011_75_3_a7/
LA  - en
ID  - IM2_2011_75_3_a7
ER  -