Megumi Kuwabara, Takeshi Ogawa, Kouichi Hirata, Masateru Harao. On Generalization and Subsumption for Ordered Clauses. In Takashi Washio, Akito Sakurai, Katsuto Nakajima, Hideaki Takeda, Satoshi Tojo, Makoto Yokoo, editors, New Frontiers in Artificial Intelligence, Joint JSAI 2005 Workshop Post-Proceedings. Volume 4012 of Lecture Notes in Computer Science, pages 212-223, Springer, 2005. [doi]
Abstract is missing.