Alessandro Armando, Michaël Rusinowitch, Sorin Stratulat. Incorporating Decision Procedures in Implicit Induction. Journal of Symbolic Computation, 34(4):241-258, 2002. [doi]
@article{ArmandoRS02,
title = {Incorporating Decision Procedures in Implicit Induction},
author = {Alessandro Armando and Michaël Rusinowitch and Sorin Stratulat},
year = {2002},
doi = {10.1006/jsco.2002.0549},
url = {http://dx.doi.org/10.1006/jsco.2002.0549},
researchr = {https://researchr.org/publication/ArmandoRS02},
cites = {0},
citedby = {0},
journal = {Journal of Symbolic Computation},
volume = {34},
number = {4},
pages = {241-258},
}