Jörg H. Siekmann 8th International Conference on Automated Deduction, Oxford, England, July 27 - August 1, 1986, Proceedings CADE Lecture Notes in Computer Science 230 Springer 1986 3-540-16780-3 db/conf/cade/cade86.html