Mechanizing Inductive Reasoning.

Emmanuel Kounalis, Michal Rusinowitch

Browse the full AAAI paper archive.