@article{ZNSL_2008_358_a4,
     author = {L. Gordeev and E. H. Haeusler and V. G. da Costa},
     title = {Proof compressions with circuit-structured substitutions},
     journal = {Zapiski Nauchnykh Seminarov POMI},
     pages = {77--99},
     publisher = {mathdoc},
     volume = {358},
     year = {2008},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/ZNSL_2008_358_a4/}
}