Toward a language theoretic proof of the four color theorem. - Bobbe Cooper; Eric Rowland; Doron Zeilberger (Adv. Appl. Math., 2012)