Rippling: Meta-level Guidance for Mathematical Reasoning

@book{pub1879,
    author = {

Bundy, Alan
 and 

Basin, David
 and 

Hutter, Dieter
 and 

Ireland, Andrew
},
    title = {Rippling: Meta-level Guidance for Mathematical Reasoning},
    year = {2005},
    publisher = {Cambridge University Press}
}