TR-91-09
Arithmetization: A New Method in Structural Complexity Theory
Babai, Laszlo; Fortnow, Lance. 5 April, 1991.
Communicated by Laszlo Babai.
Original Document
The original document is available in Postscript (uploaded 8 June, 2001 by Dustin Mitchell).