This document is unfortunately not available for download at the moment.
Rossella Lupacchini , Giovanna Corsi (2008) Deduction, computation, experiment: exploring the effectiveness of proof, Dordrecht, Springer.
Why proof? what is a proof?
Carlo Celluci
pp. 1-27
Not implemented yet !