@article{10_21136_AM_1971_103333,
     author = {Gruber, Boris},
     title = {On the possibility of applying a computer when solving the four color problem},
     journal = {Applications of Mathematics},
     pages = {83--97},
     publisher = {mathdoc},
     volume = {16},
     number = {2},
     year = {1971},
     doi = {10.21136/AM.1971.103333},
     mrnumber = {0281655},
     zbl = {0218.05055},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.21136/AM.1971.103333/}
}