"Automated Reasoning Contributed to Mathematics and Logic."

Larry Wos et al. (1990)
a service of Schloss Dagstuhl - Leibniz Center for Informatics