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

by Alan Bundy, David Basin, Dieter Hutter, Andrew Ireland