A systematic approach to the determination of reducible configurations in the four-color conjecture
scientific article; zbMATH DE number 3618185