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