TR-92-25

Oracles, Proofs and Checking

Fortnow, Lance. 21 December, 1992.

Original Document

The original document is available in Postscript (uploaded 8 June, 2001 by Dustin Mitchell).