-D.W. Loveland (Ed.): 6th Conference on Automated Deduction, Proceedings 1982, Springer-Verlag 1982