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