Bukovac, Z. et al. 2019. Short certificates for chromatic equivalence. Journal of Graph Algorithms and Applications. 23, 2 (Jan. 2019), 227–269. DOI:https://doi.org/10.7155/jgaa.00490.