Rippling: Meta-Level Guidance for Mathematical Reasoning - Bundy, Alan (University of Edinburgh) a Basin, David (ETH Zentrum, Switzerland) a Hutter, Dieter a Ireland, Andrew (Heriot-Watt University, Edinburgh)

The new technique of rippling and its use in automated reasoning are described here. The method uses heuristics and search to help address the problem of combinatorial explosion. The book provides a unique, systematic and comprehensive introduction to this and to the wider subject of automated inductive theorem proving.