Loveland, D. W. “Automated Deduction: Looking Ahead”. AI Magazine, vol. 20, no. 1, Mar. 1999, p. 77, doi:10.1609/aimag.v20i1.1442.