1.
Wendl U. Review of Automated Reasoning: Thirty-Three Basic Research Problems. AIMag [Internet]. 1989Sep.15 [cited 2024Mar.29];10(3):103. Available from: https://ojs.aaai.org/aimagazine/index.php/aimagazine/article/view/761