Bukovac, Zoe, Graham Farr, and Kerri Morgan. “Short Certificates for Chromatic Equivalence”. Journal of Graph Algorithms and Applications 23, no. 2 (January 1, 2019): 227–269. Accessed May 1, 2025. https://www.jgaa.info/index.php/jgaa/article/view/paper490.