L Babai, L Kucera - 20th annual symposium on foundations of …, 1979 - ieeexplore.ieee.org
Canonical labelling of graphs (CL, for short) can be used, eg, to test isomorphism. We prove
that a simple vertex classification procedure results after only two refinement steps in a CL of …