%0 Journal Article
%A L. Gordeev
%A E. H. Haeusler
%A V. G. da Costa
%T Proof compressions with circuit-structured substitutions
%J Zapiski Nauchnykh Seminarov POMI
%D 2008
%P 77-99
%V 358
%I mathdoc
%U http://geodesic.mathdoc.fr/item/ZNSL_2008_358_a4/
%G en
%F ZNSL_2008_358_a4