Automated reasoning contributes to mathematics and logic (1990)

by L Wos, S Winker, W McCune, R Overbeek, E Lusk, R Stevens, R Butler
Venue:Proceedings of the 10th International ConferenceonAutomatedDeduction, Lecture Notes in Arti cial Intelligence