Bukovac, Z., Farr, G., & Morgan, K. (2019). Short certificates for chromatic equivalence. Journal of Graph Algorithms and Applications, 23(2), 227–269. https://doi.org/10.7155/jgaa.00490