Alan Bundy, David A. Basin, Dieter Hutter, Andrew Ireland. Rippling - meta-level guidance for mathematical reasoning. Volume 56 of Cambridge tracts in theoretical computer science, Cambridge University Press, 2005.
@book{0013358,
title = {Rippling - meta-level guidance for mathematical reasoning},
author = {Alan Bundy and David A. Basin and Dieter Hutter and Andrew Ireland},
year = {2005},
researchr = {https://researchr.org/publication/0013358},
cites = {0},
citedby = {0},
volume = {56},
series = {Cambridge tracts in theoretical computer science},
publisher = {Cambridge University Press},
isbn = {978-0-521-83449-0},
}