A new proof of the four-colour theorem. Robertson, Neil; Sanders, Daniel P.; Seymour, Paul; Thomas, Robin — 1996 Electronic Research Announcements of the American Mathematical Society [electronic only]