@article{Ireland_1996,
    doi = {10.1007/bf00244460},
    url = {https://doi.org/10.1007%2Fbf00244460},
    year = {1996},
    month = {mar},
    publisher = {Springer Science and Business Media {LLC}},
    volume = {16},
    number = {1-2},
    pages = {79--111},
    author = {Andrew Ireland and Alan Bundy},
    title = {Productive use of failure in inductive proof},
    journal = {Journal of Automated Reasoning}
}

@article{Ireland_1996, doi = {10.1007/bf00244460}, url = {https://doi.org/10.1007%2Fbf00244460}, year = {1996}, month = {mar}, publisher = {Springer Science and Business Media {LLC}}, volume = {16}, number = {1-2}, pages = {79--111}, author = {Andrew Ireland and Alan Bundy}, title = {Productive use of failure in inductive proof}, journal = {Journal of Automated Reasoning} }