@TechReport{nqthm,
  author = 	 {Alessandro Coglio and
                  Fausto Giunchiglia and
                  Paolo Pecchiari and
                  Carolyn Talcott},
  title = 	 {A Logic Level Specification
                  of the {NQTHM} Simplification Process},
  institution =  {Dept.\ of Informatics, Systems, and Telecommunications
                  (DIST), University of Genoa, Italy},
  year = 	 {1997},
  type = 	 {Technical Report},
  number = 	 {97--0048},
  month = 	 {July},
  note = 	 {Also Technical Report 9706--07, IRST,
                  Istituto Trentino di Cultura (ITC), Trento, Italy}
}