Loveland, Donald W. “Automated Deduction: Looking Ahead”. AI Magazine 20, no. 1 (March 15, 1999): 77. Accessed April 16, 2024. https://ojs.aaai.org/aimagazine/index.php/aimagazine/article/view/1442.