Generic Automatic Proof Tools1
Lawrence C. Paulson
Computer Laboratory, University of Cambridge
1This will be a chapter in the book Automated Reasoning and Its Applications, being edited by Robert Veroff and to be published by The MIT Press in 1997. Additional information may be obtained from http://www-mitpress.mit.edu/.