Automated deduction Proceedings of the 8th International Conference Oxford, England, July 27 - August 1, 1986 - Siekmann, J. (Springer-Verlag, 1986)