Chesani, Federico, Paola Mello, and Michela Milano. “Solving Mathematical Puzzles: A Challenging Competition for AI”. AI Magazine 38, no. 3 (October 2, 2017): 83-96. Accessed April 20, 2024. https://ojs.aaai.org/aimagazine/index.php/aimagazine/article/view/2736.