Rippling: meta-level guidance for mathematical reasoning (2005)

by A Bundy