Equivalence in Abductive Logic.

Katsumi Inoue, Chiaki Sakama

Browse the full IJCAI paper archive.