Author: International Conference on Automated Deduction (11th 1992 Saratoga Springs, N.Y.)