Wendl, U. (1989). Review of Automated Reasoning: Thirty-Three Basic Research Problems. AI Magazine, 10(3), 103. https://doi.org/10.1609/aimag.v10i3.761