Loveland, D. W. Automated Deduction: Looking Ahead. AIMag 1999, 20, 77.