The four-color theorem for small maps
scientific article; zbMATH DE number 3489153