ladkin@KESTREL.ARPA.UUCP (02/25/87)
Some of the best sources for Automated Theorem Proving are conference proceedings and journal articles. Springer publishes the proceedings of the Conference on Automated Deduction, held in even years. The last is Lecture Notes in Computer Science 230, CADE-8 (ed. Siekmann). Also LNCS 232, Fundamentals of Artificial Intelligence, (ed. Bibel and Jorrand) has good material on Automated Deduction. LNCS 202 is Rewriting Techniques and Applications (ed. Jouannaud), another European conference on theorem proving by algebraic term rewriting systems. The Journal of Automated Reasoning and the Journal of Symbolic Computation have been started in the last couple of years. This is by no means a complete list. Taking the transitive closure of the `referenced' relation on this material will probably lead to a complete list. peter ladkin ladkin@kestrel.arpa