Chesani, F.; Mello, P.; Milano, M. Solving Mathematical Puzzles: A Challenging Competition for AI. AIMag 2017, 38, 83-96.