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