Author: International Conference on Automated Deduction (13th 1996 New Brunswick, N.J.)