Andrew Ireland. Productive Use of Failure in Inductive Proof. Journal of Automated Reasoning, 16(1-2):79-111, 1996.
@article{Ireland96,
title = {Productive Use of Failure in Inductive Proof},
author = {Andrew Ireland},
year = {1996},
researchr = {https://researchr.org/publication/Ireland96},
cites = {0},
citedby = {0},
journal = {Journal of Automated Reasoning},
volume = {16},
number = {1-2},
pages = {79-111},
}