@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 = jul,
 note = {Also Technical Report 9706--07, IRST, Istituto Trentino di Cultura
         (ITC), Trento, Italy}
}