with Sieg, W. , 2008, Automated search for Gödel's proofs, in R. Lupacchini & G. Corsi (eds.), Deduction, computation, experiment, Dordrecht, Springer, pp. 117-140.