@article{ZNSL_2002_293_a8,
     author = {R. Pliu\v{s}kevi\v{c}ius},
     title = {Intertible infinitary calculus without loop rules for a restricted {FTL}},
     journal = {Zapiski Nauchnykh Seminarov POMI},
     pages = {149--180},
     publisher = {mathdoc},
     volume = {293},
     year = {2002},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/ZNSL_2002_293_a8/}
}