References
Aubin, R.: Mechanizing Structural Induction. Ph.D. thesis, Edinburgh University (1976)
Baader, F., Nipkow, T.: Term Rewriting and All That. Cambridge University Press (1998)
Bundy, A.: The use of explicit plans to guide inductive proofs. In: Lusk, E., Overbeek, R. (eds.) 9th International Conference on Automated Deduction (CADE 9), pp. 111–120. Springer, Berlin Heidelberg New York (1988)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Shah, N. “Rippling: Meta-Level Guidance for Mathematical Reasoning,” by Alan Bundy, David Basin, Dieter Hutter, and Andrew Ireland, Cambridge University Press, 2005. J Autom Reasoning 35, 429–431 (2005). https://doi.org/10.1007/s10817-006-9027-0
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10817-006-9027-0