A Metatheory of a Mechanized Object Theory (1994)

by Fausto Giunchiglia, Paolo Traverso