A survey of automated deduction (1999)

by A Bundy
Venue:Lecture Notes in Computer Science