@techreport{apes-82,
       author= "Paul Jackson and Daniel Sheridan",
       month=mar,
       year="2004",
       title="The Optimality of a Fast {CNF} Conversion and its Use with {SAT}"
       number="APES-82-2004",
       institution = "APES Research Group",
       url= "http://www.dcs.st-and.ac.uk/~apes/reports/apes-82-2004.ps.gz",
       note= "Available from
http://www.dcs.st-and.ac.uk/~apes/apesreports.html"}