Inference Scheme for Order-Sorted Logic Using Noun Phrases with Variables as Sorts.

Masaki Kitano Seikoh Nishita Tsutomu Ishikawa Inference Scheme for Order-Sorted Logic Using Noun Phrases with Variables as Sorts. 49-58 2006 conf/micai/2006 MICAI http://dx.doi.org/10.1007/11925231_5 db/conf/micai/micai2006.html#KitanoNI06