@misc{indiciaeae2793e92f9e,
  title = {Toward a language theoretic proof of the four color theorem},
  author = {Bobbe Cooper and Eric Rowland and Doron Zeilberger},
  year = {2011},
  doi = {10.1016/j.aam.2011.11.002},
  url = {https://arxiv.org/abs/1006.1324},
  note = {Source identifier: 1006.1324}
}