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

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