-W. Bibel/R. Kowalski (Eds.): 5th Conference on Automated Deduction, Proceedings 1980, Springer-Verlag 1980