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