5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980 - Kowalski, Robert; Bibel, W., 1938- (Lecture notes in computer science, 1980)