Transforming Abductive Logic Programs to Disjunctive Programs.

Katsumi Inoue, Chiaki Sakama

Browse the full ICLP paper archive.