%0 Journal Article
%A L. L. Tsinman
%T A~theorem on normal proofs in the theory of regular formulae
%J Izvestiâ vysših učebnyh zavedenij. Matematika
%D 1969
%P 90-96
%N 10
%I mathdoc
%U http://geodesic.mathdoc.fr/item/IVM_1969_10_a11/
%G ru
%F IVM_1969_10_a11