D. W. Loveland, “Automated Deduction: Looking Ahead”, AIMag, vol. 20, no. 1, p. 77, Mar. 1999.