Kochen–Specker Theorem: Two Geometric Proofs. Calude, C., Hertling, P., & Svozil, K. Tatra Mountains Math.\ Publ., 15:133–142, 1998.
bibtex   
@ARTICLE{CHS98,
  author = {Calude, C.S. and Hertling, P. and Svozil, K.},
  title = {Kochen--{S}pecker Theorem: Two Geometric Proofs},
  journal = {Tatra Mountains Math.\ Publ.},
  year = {1998},
  volume = {15},
  pages = {133--142},
  keywords = {thi1}
}

Downloads: 0