%0 Journal Article
%A R. Pliuškevičius
%T Intertible infinitary calculus without loop rules for a restricted FTL
%J Zapiski Nauchnykh Seminarov POMI
%D 2002
%P 149-180
%V 293
%I mathdoc
%U http://geodesic.mathdoc.fr/item/ZNSL_2002_293_a8/
%G en
%F ZNSL_2002_293_a8