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