Wolfgang Haken and the four-color problem - Wilson, R (Illinois Journal of Mathematics, 2016)