A 5-Color-Extension-Theorem.

Hans Georg Carstens
Published in: Computation Theory and Logic (1987)
Keyphrases