TY  - JOUR
AU  - R. Pliuškevičius
TI  - Intertible infinitary calculus without loop rules for a restricted FTL
JO  - Zapiski Nauchnykh Seminarov POMI
PY  - 2002
SP  - 149
EP  - 180
VL  - 293
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/ZNSL_2002_293_a8/
LA  - en
ID  - ZNSL_2002_293_a8
ER  -