Robert E. Shostak 7th International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984, Proceedings CADE Lecture Notes in Computer Science 170 Springer 1984 3-540-96022-8 db/conf/cade/cade84.html