Wendl, U. Review of Automated Reasoning: Thirty-Three Basic Research Problems. AIMag 1989, 10, 103.