The road coloring problem
directed finite strongly connected graph
scientific article; zbMATH DE number 5610596
scientific article