Matching graphs with unique node labels
scientific article; zbMATH DE number 5075171