1. M. Aouchiche, G. Caporossi, P. Hansen, Variable Neighborhood Search for Extremal Graphs 8, Variations on Graffiti 105, Congressus Numer. 148 (2001) 129–144
2. Every planar map is four colorable. Part I. Discharging;Appel;Illinois J. Math.,1977
3. Every planar map is four colorable. Part II. Reducibility;Appel;Illinois J. Math.,1977
4. Every planar map is four colorable;Appel;Contemp. Math.,1989
5. Archimedes The method of mechanical theorem proving cited by J Gray in “Sale of the Century?”;Math. Intelligencer,1999