Thomas Eiter. Abduction and the Dualization Problem. In Ricard Gavaldà , Klaus P. Jantke, Eiji Takimoto, editors, Algorithmic Learning Theory, 14th International Conference, ALT 2003, Sapporo, Japan, October 17-19, 2003, Proceedings. Volume 2842 of Lecture Notes in Computer Science, pages 1-2, Springer, 2003. [doi]
Abstract is missing.