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