A Metatheory of a Mechanized Object Theory (1996)

by L Sera, F Giunchiglia Giunchiglia, F, P Traverso
Venue:Arti Intelligence