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