%0 Journal Article
%A E. Ya. Dantsin
%T Two tautologihood proof systems based on the split method
%J Zapiski Nauchnykh Seminarov POMI
%D 1981
%P 24-44
%V 105
%I mathdoc
%U http://geodesic.mathdoc.fr/item/ZNSL_1981_105_a4/
%G ru
%F ZNSL_1981_105_a4