/siksth/6th Conference on Automated Deduction : NEW YORK, USA, JUNE 7-9, 1982. - Loveland, Donald W. (Lecture Notes in Computer Science, 1982)