@article{Shah_2006,
    doi = {10.1007/s10817-006-9027-0},
    url = {https://doi.org/10.1007%2Fs10817-006-9027-0},
    year = {2006},
    month = {aug},
    publisher = {Springer Science and Business Media {LLC}},
    volume = {35},
    number = {4},
    pages = {429--431},
    author = {Nimish Shah},
    title = {{\textquotedblleft}Rippling: Meta-Level Guidance for Mathematical Reasoning,{\textquotedblright} by Alan Bundy, David Basin, Dieter Hutter, and Andrew Ireland, Cambridge University Press, 2005},
    journal = {Journal of Automated Reasoning}
}

@article{Shah_2006, doi = {10.1007/s10817-006-9027-0}, url = {https://doi.org/10.1007%2Fs10817-006-9027-0}, year = {2006}, month = {aug}, publisher = {Springer Science and Business Media {LLC}}, volume = {35}, number = {4}, pages = {429--431}, author = {Nimish Shah}, title = {{\textquotedblleft}Rippling: Meta-Level Guidance for Mathematical Reasoning,{\textquotedblright} by Alan Bundy, David Basin, Dieter Hutter, and Andrew Ireland, Cambridge University Press, 2005}, journal = {Journal of Automated Reasoning} }