Automatic case analysis in proof by induction (1993)

by A Bouhoula, M Rusinowitch
Venue:In Proc. 13th IJCAI