Deduction, computation, experiment exploring the effectiveness of proof - Corsi, Giovanna; Lupacchini, Rossella (Springer, 2008)