@techreport{apes-41,
       author= "Daniel Sheridan",
       month="January",
       year="2002",
       title="Using Fixpoint Characterisations of {LTL} for Bounded Model Checking",
       number="APES-41-2002",
       institution = "APES Research Group",
       url= "http://www.dcs.st-and.ac.uk/~apes/reports/apes-41-2002.ps.gz",
       note= "Available from
http://www.dcs.st-and.ac.uk/~apes/apesreports.html"}