Inductive Equivalence of Logic Programs.

Chiaki Sakama, Katsumi Inoue

Browse the full ILP paper archive.