Chesani, F., P. Mello, and M. Milano. “Solving Mathematical Puzzles: A Challenging Competition for AI”. AI Magazine, vol. 38, no. 3, Oct. 2017, pp. 83-96, doi:10.1609/aimag.v38i3.2736.