Author: International Conference on Automated Deduction (12th 1994 Nancy, France)