Synthesizing human-friendly optimal strategies in board games. - Thomas Bolander; Jacob Pjetursson (CoG, 2020)