Author: International Conference on Automated Deduction (16th 1999 Trento, Italy)