TR-93-13
On slightly superlinear transparent proofs
Babai, Laszlo
; Friedl, Katalin. 16 August, 1993.
Communicated by
Laszlo Babai
.