Deepak Kapur Automated Deduction - CADE-11, 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992, Proceedings CADE Lecture Notes in Computer Science 607 Springer 1992 3-540-55602-8 db/conf/cade/cade92.html