TR-93-09

A Note On Step Satisfiable Boolean Formulas

Kimmel, Peter. 21 July, 1993.

Original Document

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