Akihiro Yamamoto An Inference Method for the Complete Inverse of Relative Subsumption. 99-117 1999 17 New Generation Comput. 1 db/journals/ngc/ngc17.html#Yamamoto99