Nwe Ni Tun, Satoshi Tojo Inheritance of Multiple Identity Conditions in Order-Sorted Logic. [Citation Graph (0, 0)][DBLP] Australian Conference on Artificial Intelligence, 2004, pp:1187-1193 [Conf]
Nwe Ni Tun, Satoshi Tojo Consistent Hybrid Knowledge Representation in Order-Sorted Logic. [Citation Graph (0, 0)][DBLP] International Conference on Computational Intelligence, 2004, pp:349-353 [Conf]