Bukovac, Zoe, et al. “Short Certificates for Chromatic Equivalence”. Journal of Graph Algorithms and Applications, vol. 23, no. 2, Jan. 2019, pp. 227-69, doi:10.7155/jgaa.00490.