@article{Haken1977, author = {Haken, W}, journal = {Journal of Graph Theory}, keywords = {Ordner-A,funktionale Programmierung FP Backus-FP}, mendeley-tags = {Ordner-A}, title = {{An Attempt to Understand the Four Color Problem}}, volume = {1}, year = {1977} }