Fifth <5th> conference on automated deduction : Les Arcs, France, july 8-11, 1980. - Bibel, Wolfgang; Kowalski, Robert (Lecture Notes in Computer Science ;, 1980)