@PhdThesis{Sheridan05,
  author = 		 {Daniel Sheridan},
  title = 		 {Temporal Logic Encodings for {SAT}-based Bounded Model Checking},
  school = 		 {University of Edinburgh},
  year = 		 2005,
  month =        nov
}