U. Wendl, “Review of Automated Reasoning: Thirty-Three Basic Research Problems”, AIMag, vol. 10, no. 3, p. 103, Sep. 1989.