Author: International Conference on Automated Deduction (15th 1998 Lindau, Bavaria, Germany)