| | |
@inproceedings{DBLP:conf/ijcai/BouhoulaR93,
author = {Adel Bouhoula and
Micha{\"e}l Rusinowitch},
title = {Automatic Case Analysis in Proof by Induction},
booktitle = {IJCAI},
year = {1993},
pages = {88-94},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Last update 2007-06-06 CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page