"6th Conference on Automated Deduction: New York, USA, June 7-9, 1982 (Lecture Notes in Computer Science)" - читать интересную книгу автора (D.W. Loveland (Editor))