@article{CalHerSvo-tatra,
  Title                    = {Kochen-Specker Theorem: Two Geometrical Proofs},
  Author                   = {Cristian S. Calude and Peter H. Hertling and Karl Svozil},
  Year                     = {1998},

  Eprint                   = {arXiv:1402.5195},
  Issue                    = {2},
  Journal                  = {Tatra Mountains Mathematical Publications},
  Pages                    = {133-142},
  Url                      = {http://tatra.mat.savba.sk/paper.php?id_paper=219},
  Url1                      = {http://arxiv.org/abs/1402.5195},
  Url2                      = {http://tph.tuwien.ac.at/~svozil/publ/1998-ko-sp-j.pdf},
  Volume                   = {15}
}