Author: Conference on Automated Deduction (6th 1982 New York, N.Y.)