da Costa V G

Publications in Math-Net.Ru

1. Proof compressions with circuit-structured substitutions
   
   Zap. Nauchn. Sem. POMI, 358 (2008),  77–99