TY  - JOUR
AU  - L. Gordeev
AU  - E. H. Haeusler
AU  - V. G. da Costa
TI  - Proof compressions with circuit-structured substitutions
JO  - Zapiski Nauchnykh Seminarov POMI
PY  - 2008
SP  - 77
EP  - 99
VL  - 358
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/ZNSL_2008_358_a4/
LA  - en
ID  - ZNSL_2008_358_a4
ER  -