Sehr empfehlenswert:

• Wolfgang Bibel: Deduktion -- Automatisierung der Logik. R.Oldenbourg 1992 Dieses Buch ist nicht mehr im Handel und kann als Postscriptfile heruntergeladen werden (Zugriff nur aus dem Netz der Universität Potsdam): W.Bibel: Deduktion -- Automatisierung der Logik
• Lincoln Wallen: Automated deduction in nonclassical logics. MIT Press 1990
• Folien

spezielle Fachartikel

• T-String-Unification: Unifying Prefixes in Non-Classical Proof Methods
• Connection-based Theorem Proving in Classical and Non-classical Logics
• Connection-Driven Inductive Theorem Proving

Auch lesenswert:

• Wolfgang Bibel: Automated Theorem Proving. second edition, Vieweg Verlag 1987
• Peter B. Andrews: An Introduction to mathematical logic and Type Theory: To Truth through Proof. Kluwer, Applied Logic Series 27 2002
• A. Robinson & A. Voronkov: Handbook of Automated Reasoning. Elsevier 2001

Lesenswertes zur Arbeitsethik:

• Code of Academic Integrity (Cornell University)
• Aufdeckung von Plagiaten (FHTW Berlin)
• Missverständnisse zum Urheberrecht