Deduction, Computation, Experiment Exploring the Effectiveness of Proof - Lupacchini, Rossella; Corsi, Giovanna (Springer Milan, 2008)