Automated Inductive Reasoning about Logic Programs.

Charles Elkan, David A. McAllester

Browse the full ICLP paper archive.