René David Christophe Raffalli An experiment concerning mathematical proofs on computers with French undergraduate students. 219-239 2004 2 J. Applied Logic 2 http://dx.doi.org/10.1016/j.jal.2004.02.002 db/journals/japll/japll2.html#DavidR04