Toward a language theoretic proof of the four color theorem
scientific article; zbMATH DE number 6019335