Author: International Conference on Automated Deduction (8th 1986 Oxford, England)