Title: 8th International Conference on Automated Deduction, Oxford, England,July 27-August 1, 1986