Adel Bouhoula, Michaël Rusinowitch. Automatic Case Analysis in Proof by Induction. In IJCAI. pages 88-94, 1993.
@inproceedings{BouhoulaR93,
title = {Automatic Case Analysis in Proof by Induction},
author = {Adel Bouhoula and Michaël Rusinowitch},
year = {1993},
tags = {analysis},
researchr = {https://researchr.org/publication/BouhoulaR93},
cites = {0},
citedby = {0},
pages = {88-94},
booktitle = {IJCAI},
}