A metatheory of a mechanized object theory (1996)

by F Giunchiglia, A Traverso
Venue:Artificial Intelligence