Rippling: Meta-level Guidance for Mathematical Reasoning (2005)

by A Bundy, D Basin, D Hutter, A Ireland