Hans Georg Carstens A 5-Color-Extension-Theorem. 67-77 1987 conf/birthday/1987rodding Computation Theory and Logic db/conf/birthday/rodding87.html#Carstens87