Author: International Conference on Automated Deduction (14th 1997 Townsville, Qld.)