Chesani, Federico, Paola Mello, and Michela Milano. 2017. “Solving Mathematical Puzzles: A Challenging Competition for AI”. AI Magazine 38 (3):83-96. https://doi.org/10.1609/aimag.v38i3.2736.