Dominique Pastre Automated Theorem Proving in Mathematics. 425-447 1993 8 Ann. Math. Artif. Intell. 3-4 db/journals/amai/amai8.html#Pastre93