You are about to access our book library "5th Conference on Automated Deduction: Les Arcs, France, July 8-11, 1980 (Lecture Notes in Computer Science, 87) full version" .