/siksth/6th Conference on Automated Deduction : NEW YORK, USA, JUNE 7-9, 1982. - Loveland, Donald W. (Springer Verlag, 1982)