Alan Bundy Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26 - July 1, 1994, Proceedings CADE Lecture Notes in Computer Science 814 Springer 1994 3-540-58156-1 db/conf/cade/cade94.html