TR-93-13

On slightly superlinear transparent proofs

Babai, Laszlo; Friedl, Katalin. 16 August, 1993.
Communicated by Laszlo Babai.