David A. McAllester Automated Deduction - CADE-17, 17th International Conference on Automated Deduction, Pittsburgh, PA, USA, June 17-20, 2000, Proceedings CADE Lecture Notes in Computer Science 1831 Springer 2000 3-540-67664-3 db/conf/cade/cade2000.html