Bukovac, Zoe, Graham Farr, and Kerri Morgan. 2019. “Short Certificates for Chromatic Equivalence”. Journal of Graph Algorithms and Applications 23 (2):227-69. https://doi.org/10.7155/jgaa.00490.