TR-98-12
Graph NonIsomorphism has Subexponential Size Proofs unless the Polynomial-Time Hierarchy Collapses
Klivans, Adam; Van Melkebeek, Dieter. 11 December, 1998.
Original Document
The original document is available in Postscript (uploaded 8 June, 2001 by Dustin Mitchell).