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