Author: International Conference on Automated Deduction (7th 1984 Napa, Calif.)