Fifth <5th> conference on automated deduction : Les Arcs, France, july 8-11, 1980. - Bibel, Wolfgang (Springer Verlag, 1980)