Loveland DW. Automated Deduction: Looking Ahead. AIMag [Internet]. 1999Mar.15 [cited 2024Apr.19];20(1):77. Available from: https://ojs.aaai.org/aimagazine/index.php/aimagazine/article/view/1442