"Rippling: Meta-Level Guidance for Mathematical Reasoning" - читать интересную книгу автора (Alan Bundy, David Basin, Dieter Hutter, Andrew Ireland)