TY  - RPRT
TI  - Toward a language theoretic proof of the four color theorem
AU  - Bobbe Cooper
AU  - Eric Rowland
AU  - Doron Zeilberger
PY  - 2011
DO  - 10.1016/j.aam.2011.11.002
UR  - https://arxiv.org/abs/1006.1324
ID  - 1006.1324
ER  -