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