Ewing L. Lusk Ross A. Overbeek 9th International Conference on Automated Deduction, Argonne, Illinois, USA, May 23-26, 1988, Proceedings CADE Lecture Notes in Computer Science 310 Springer 1988 3-540-19343-X db/conf/cade/cade88.html