Berkholz, Bonsma, Grohe, 2016. Tight Lower and Upper Bounds for the Complexity of Canonical Colour Refinement 60.. https://doi.org/10.1007/s00224-016-9686-0