Vol. 128. Orevkov, V. P.
Complexity of proofs and their transformations in axiomatic theories
QA9.54 O7413