Barker, J.; Korf, R. Solving 4x5 Dots-And-Boxes. AAAI 2011, 25, 1756-1757.