A nonfactorial algorithm for testing isomorphism of two graphs
scientific article; zbMATH DE number 3840016