| [SocJoh] |
Deduction Systems
by Rolf Socher-Ambrosius and Patricia Johann, Graduate Texts in Computer Science, Springer, 1996.
|
| [Por01] |
Automated Reasoning
by Frederic Portoraro. In Edward N. Zalta editor The Stanford Encyclopedia of Philosophy. Fall 2001 Edition.
|
| [Sti87] |
An introduction to automated deduction
by Mark. E. Stickel. In W. Bibel and P. Jorrand editors, Fundamentals of Artificial Intelligence, Vol 232 of Lecture Notes in Computer Science, Springer, 1987
|
| [EisOhl93] |
Deduction systems based on resolution
by N. Eisinger and H. J. Ohlbach. In J. A. Robinson et al. editors, Handbook of Logic in Artificial Intelligence and Logic Programming vol. 1 Oxford University Press, 1993.
|
| [BauTin03] |
The Model Evolution Calculus
by Peter Baumgartner and Cesare Tinelli. Technical Report no. 1/2003, Institut für Informatik, Universität Koblenz-Landau, 2003.
|
| [HBAR01] |
Handbook of Automated Reasoning
by Alan Robinson and Andrei Voronkov, editors. Elsevier Science B.V., 2001.
|
| [Lei97] |
The Resolution Calculus
by Alexander Leitsch. Texts in Theoretical Computer Science, An EATCS Series, Springer, 1997.
|
| [Fit96] |
First-Order Logic and Automated Theorem Proving
by Melving Fitting, Graduate Texts in Computer Science, Springer, 1996.
|
| [ChaLee73] |
Symbolic Logic and Mechanical Theorem Proving
by Chin-Liang Chang and Richard Char-Tung Lee. Computer Science Classics, Academic Press, 1973.
|
| [Ohl97] |
Introductory Logic Course Notes
by H. J. Ohlbach. Lecture Notes, Imperial College, London, 1997 (see also related slides).
|