Thomas Eiter, Kazuhisa Makino. Abduction and the Dualization Problem. In Gunter Grieser, Yuzuru Tanaka, Akihiro Yamamoto, editors, Discovery Science, 6th International Conference, DS 2003, Sapporo, Japan, October 17-19,2003, Proceedings. Volume 2843 of Lecture Notes in Computer Science, pages 1-20, Springer, 2003. [doi]