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