Text this: 6th Conference on Automated Deduction, New York, USA, June 7-9, 1982 /