Reconstruction of a proof from its scheme (1987)

by V P Orevkov
Venue:Soviet Mathematics Doklady