@article(abramsky2011unified,
 author       = "S. Abramsky and A. Brandenburger",
 year         = "2011",
 title        = "The Sheaf-Theoretic Structure Of Non-Locality and Contextuality",
 journal      = "New Journal of Physics",
 volume       = "13(2011)",
 pages        = "113036",
 doi          = "10.1088/1367-2630/13/11/113036",
)
@article(bartosik2009experimental,
 author       = "H. Bartosik and J. Klepp and C. Schmitzer and S. Sponar and A. Cabello and H. Rauch and Y. Hasegawa",
 year         = "2009",
 title        = "Experimental test of quantum contextuality in neutron interferometry",
 journal      = "Physical Review Letters",
 volume       = "103",
 number       = "4",
 pages        = "40403",
 doi          = "10.1103/PhysRevLett.103.040403",
)
@article(bell1964einstein,
 author       = "J.S. Bell",
 year         = "1964",
 title        = "{On the {E}instein-{P}odolsky-{R}osen paradox}",
 journal      = "Physics",
 volume       = "1",
 number       = "3",
 pages        = "195--200",
 doi          = "10.1017/CBO9780511815676.004",
)
@article(cabello1996bell,
 author       = "A. Cabello and J.M. Estebaranz and G. Garc{\'\i }a-Alcaine",
 year         = "1996",
 title        = "{Bell-Kochen-Specker theorem: A proof with 18 vectors}",
 journal      = "Physics Letters A",
 volume       = "212",
 number       = "4",
 pages        = "183--187",
 doi          = "10.1007/978-94-011-5886-2-8",
)
@article(ghrist2011applications,
 author       = "R. Ghrist and Y. Hiraoka",
 year         = "2011",
 title        = "Applications of sheaf cohomology and exact sequences to network coding",
 journal      = "preprint",
)
@article(greenberger1990bell,
 author       = "D.M. Greenberger and M.A. Horne and A. Shimony and A. Zeilinger",
 year         = "1990",
 title        = "{Bell's theorem without inequalities}",
 journal      = "American Journal of Physics",
 volume       = "58",
 pages        = "1131",
 doi          = "10.1119/1.16243",
)
@incollection(greenberger1989going,
 author       = "D.M. Greenberger and M.A. Horne and A. Zeilinger",
 year         = "1989",
 title        = "{Going beyond Bell's theorem}",
 editor       = "M. Kafatos",
 booktitle    = "Bell's Theorem, Quantum Theory, and Conceptions of the Universe",
 publisher    = "Kluwer",
 pages        = "69--72",
)
@article(hardy1993nonlocality,
 author       = "L. Hardy",
 year         = "1993",
 title        = "{Nonlocality for two particles without inequalities for almost all entangled states}",
 journal      = "Physical Review Letters",
 volume       = "71",
 number       = "11",
 pages        = "1665--1668",
 doi          = "10.1103/PhysRevLett.71.1665",
)
@article(kirchmair2009state,
 author       = "G. Kirchmair and F. Z{\"a}hringer and R. Gerritsma and M. Kleinmann and O. G{\"u}hne and A. Cabello and R. Blatt and CF Roos",
 year         = "2009",
 title        = "State-independent experimental test of quantum contextuality",
 journal      = "Nature",
 volume       = "460",
 number       = "7254",
 pages        = "494--497",
 doi          = "10.1038/nature08172",
)
@article(kochen1975problem,
 author       = "S. Kochen and E.P. Specker",
 year         = "1967",
 title        = "{The problem of hidden variables in quantum mechanics}",
 journal      = "Journal of Mathematics and Mechanics",
 volume       = "17",
 number       = "1",
 pages        = "59--87",
 doi          = "10.1007/978-3-0348-9259-9-21",
)
@article(Liang20111,
 author       = "Y.C. Liang and R.W. Spekkens and H.M. Wiseman",
 year         = "2011",
 title        = "Specker's parable of the overprotective seer: A road to contextuality, nonlocality and complementarity",
 journal      = "Physics Reports",
 volume       = "506",
 number       = "1-2",
 pages        = "1 -- 39",
 doi          = "10.1016/j.physrep.2011.05.001",
)
@book(mac1992sheaves,
 author       = "S. Mac Lane and I. Moerdijk",
 year         = "1992",
 title        = "{Sheaves in geometry and logic: A first introduction to topos theory}",
 publisher    = "Springer",
)
@article(mermin1990simple,
 author       = "N.D. Mermin",
 year         = "1990",
 title        = "Simple unified form for the major no-hidden-variables theorems",
 journal      = "Physical Review Letters",
 volume       = "65",
 number       = "27",
 pages        = "3373--3376",
 doi          = "10.1103/PhysRevLett.65.3373",
)
@article(peres1990incompatible,
 author       = "A. Peres",
 year         = "1990",
 title        = "Incompatible results of quantum measurements",
 journal      = "Physics Letters A",
 volume       = "151",
 number       = "3-4",
 pages        = "107--108",
 doi          = "10.1016/0375-9601(90)90172-K",
)
@article(popescu1994quantum,
 author       = "S. Popescu and D. Rohrlich",
 year         = "1994",
 title        = "{Quantum nonlocality as an axiom}",
 journal      = "Foundations of Physics",
 volume       = "24",
 number       = "3",
 pages        = "379--385",
 doi          = "10.1007/BF02058098",
)
@article(vorobev,
 author       = "N. N. Vorob'ev",
 year         = "1962",
 title        = "{Consistent families of measures and their extensions}",
 journal      = "{T}heory of {P}robability and its {A}pplications",
 volume       = "VII",
 number       = "2",
 pages        = "147--163",
 doi          = "10.1137/1107014",
 note         = "(translated by N. Greenleaf, Russian original published in \textit {Teoriya Veroyatnostei i ee Primeneniya})",
)