![](/img/cover-not-exists.png)
Rippling: Meta-Level Guidance for Mathematical Reasoning || An introduction to rippling
Bundy, Alan, Basin, David, Hutter, Dieter, Ireland, AndrewVolume:
10.1017/CB
Year:
2005
DOI:
10.1017/cbo9780511543326.002
File:
PDF, 958 KB
2005