Proof by Induction Using Test Sets.

Deepak Kapur, Paliath Narendran, Hantao Zhang

Browse the full CADE paper archive.