[mod.ai] automated deduction references

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