%0 Book
%A edited by Jorg H. Siekmann
%T 8th International Conference on Automated Deduction : Oxford, England, July 27-August 1, 1986 : proceedings
%U /book/95026857/8th-International-Conference-on-Automated-Deductio/