A survey of automated deduction (1999)

by A Bundy
Venue:42 M. Ganesalingam and W.T. Gowers