Efficient graph automorphism by vertex partitioning
scientific article; zbMATH DE number 3799030
scientific article