Automatic Case Analysis in Proof by Induction.

Adel Bouhoula, Michal Rusinowitch

Browse the full IJCAI paper archive.