A Short Survey of Automated Reasoning (2007)

by John Harrison
Venue:Lecture Notes in Computer Science, Volume 4545