You are about to access our book library "6th Conference on Automated Deduction, New York, USA, June 7-9, 1982 (Lecture notes in computer science 138) full version" .