Author: International Conference on Automated Deduction (9th 1988 Argonne, Ill.)