Nwe Ni Tun, Satoshi Tojo. Inheritance of Multiple Identity Conditions in Order-Sorted Logic. In Geoffrey I. Webb, Xinghuo Yu, editors, AI 2004: Advances in Artificial Intelligence, 17th Australian Joint Conference on Artificial Intelligence, Cairns, Australia, December 4-6, 2004, Proceedings. Volume 3339 of Lecture Notes in Computer Science, pages 1187-1193, Springer, 2004. [doi]
Abstract is missing.