page 1  (34 pages)
2to next section

Generic Automatic Proof Tools1

Lawrence C. Paulson
Computer Laboratory, University of Cambridge

May 1996

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