Wendl, Ulrich. “Review of Automated Reasoning: Thirty-Three Basic Research Problems”. AI Magazine 10, no. 3 (September 15, 1989): 103. Accessed April 19, 2024. https://ojs.aaai.org/aimagazine/index.php/aimagazine/article/view/761.