Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30

Michael A. McRobbie John K. Slaney Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996, Proceedings CADE Lecture Notes in Computer Science 1104 Springer 1996 3-540-61511-3 db/conf/cade/cade96.html