@inbook(Abramsky6,
 author       = {S. Abramsky},
 year         = {2013},
 title        = {In Search of Elegance in the Theory and Practice of Computation: Essays Dedicated to Peter Buneman},
 chapter      = {Relational Databases and Bell's Theorem},
 pages        = {13--35},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 doi          = {10.1007/978-3-642-41660-6\_2},
)
@inproceedings(Abramsky2,
 author       = {S. Abramsky and R. Soares Barbosa and K. Kishida and R. Lal and S. Mansfield},
 year         = {2015},
 title        = {Contextuality, cohomology and paradox},
 editor       = {S. Kreutzer},
 booktitle    = {24th EACSL Annual Conference on Computer Science Logic (CSL 2015)},
 series       = {Leibniz International Proceedings in Informatics (LIPIcs)},
 volume       = {41},
 publisher    = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
 address      = {Dagstuhl, Germany},
 pages        = {211--228},
 doi          = {10.4230/LIPIcs.CSL.2015.211},
)
@article(Abramsky1,
 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},
 pages        = {113036--113075},
 doi          = {10.1088/1367-2630/13/11/113036},
)
@inproceedings(Abramsky5,
 author       = {S. Abramsky and G. Gottlob and P. Kolaitis},
 year         = {2013},
 title        = {Robust Constraint Satisfaction and Local Hidden Variables in Quantum Mechanics},
 booktitle    = {Artificial Intelligence (IJCAI '13), 2013 23rd International Joint Conference on},
 publisher    = {AAAI Press},
 pages        = {440--446},
 url          = {http://ijcai.org/papers13/Papers/IJCAI13-073.pdf},
)
@article(Abramsky3,
 author       = {S. Abramsky and S. Mansfield and R. Soares Barbosa},
 year         = {2012},
 title        = {The cohomology of non-locality and contextuality},
 journal      = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {95 - Proceedings 8th International Workshop on Quantum Physics and Logic (QPL 2011), Nijmegen},
 pages        = {1--14},
 doi          = {10.4204/EPTCS.95.1},
)
@(Baez,
 author       = {J. Baez},
 title        = {Torsors Made Easy},
 url          = {http://math.ucr.edu/home/baez/torsors.html},
)
@article(Barbosa,
 author       = {R. Soares Barbosa},
 year         = {2014},
 title        = {On monogamy of non-locality and macroscopic averages: examples and preliminary results},
 journal      = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {172 - Proceedings 11th International Workshop on Quantum Physics and Logic (QPL 2014), Kyoto},
 pages        = {36--55},
 doi          = {10.4204/EPTCS.172.4},
)
@misc(Rui,
 author       = {R. Soares Barbosa},
 year         = {2015},
 title        = {Contextuality in quantum mechanics and beyond},
 howpublished = {D.Phil. thesis, Oxford University},
)
@article(Bell,
 author       = {J. S. Bell},
 year         = {1964},
 title        = {{On the Einstein Podolsky Rosen paradox}},
 journal      = {Physics},
 volume       = {1},
 number       = {3},
 pages        = {195--200},
 doi          = {10.1016/S0065-3276(08)60492-X},
)
@mastersthesis(Gio,
 author       = {G. Car{\`u}},
 year         = {2015},
 title        = {Detecting Contextuality: Sheaf Cohomology and All vs Nothing Arguments},
 school       = {University of Oxford},
 url          = {http://www.cs.ox.ac.uk/files/7608/Dissertation.pdf},
)
@article(Daykin,
 author       = {D. E. Daykin and R. H{\"a}ggkvist},
 year         = {1981},
 title        = {Degrees giving independent edges in a hypergraph},
 journal      = {Bulletin of the Australian Mathematical Society},
 volume       = {23},
 number       = {01},
 pages        = {103--109},
 doi          = {10.1017/S0004972700006924},
)
@article(Greenberger,
 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},
 number       = {12},
 pages        = {1131--1143},
 doi          = {10.1119/1.16243},
)
@(Greenberger2,
 author       = {D. M. Greenberger and M. A. Horne and A. Zeilinger},
 year         = {1989},
 title        = {Going beyond Bell's Theorem},
 doi          = {10.1007/978-94-017-0849-4\_10},
)
@article(Hardy2,
 author       = {L. Hardy},
 year         = {1992},
 title        = {Quantum mechanics, local realistic theories, and Lorentz-invariant realistic theories},
 journal      = {Phys. Rev. Lett.},
 volume       = {68},
 number       = {20},
 pages        = {2981--2984},
 doi          = {10.1103/PhysRevLett.68.2981},
)
@article(Hardy,
 author       = {L. Hardy},
 year         = {1993},
 title        = {Nonlocality for two particles without inequalities for almost all entangled states},
 journal      = {Phys. Rev. Lett.},
 volume       = {71},
 number       = {11},
 pages        = {1665--1668},
 doi          = {10.1103/PhysRevLett.71.1665},
)
@article(Howard,
 author       = {M. Howard and J. Wallman and V. Veitch and J. Emerson},
 year         = {2014},
 title        = {Contextuality supplies the "magic" for quantum computation},
 journal      = {Nature},
 volume       = {510},
 number       = {7505},
 pages        = {351--355},
 doi          = {10.1038/nature13460},
)
@incollection(Kochen,
 author       = {S. Kochen and E. P. Specker},
 year         = {1975},
 title        = {The Problem of Hidden Variables in Quantum Mechanics},
 booktitle    = {The Logico-Algebraic Approach to Quantum Mechanics},
 series       = {The University of Western Ontario Series in Philosophy of Science},
 volume       = {5a},
 publisher    = {Springer Netherlands},
 pages        = {293--328},
 doi          = {10.1007/978-94-010-1795-4\_17},
)
@misc(Shane,
 author       = {S. Mansfield},
 year         = {2013},
 title        = {The Mathematical Structure of Non-Locality \& Contextuality},
 howpublished = {D.Phil. thesis, Oxford University},
 url          = {http://www.cs.ox.ac.uk/people/shane.mansfield/DPhilThesis-ShaneMansfield.pdf},
)
@inproceedings(ShaneRui,
 author       = {S. Mansfield and R. Soares Barbosa},
 year         = {2013},
 title        = {Extendability in the sheaf-theoretic approach: Construction of {B}ell models from {K}ochen-{S}pecker models},
 booktitle    = {Informal pre-proceedings of 10th Workshop on Quantum Physics and Logic (QPL 2013), ICFo Barcelona},
 url          = {http://arxiv.org/pdf/1402.4827.pdf},
)
@article(Mermin2,
 author       = {N. D. Mermin},
 year         = {1990},
 title        = {Quantum mysteries revisited},
 journal      = {American Journal of Physics},
 volume       = {58},
 number       = {8},
 pages        = {731--734},
 doi          = {10.1119/1.16503},
)
@article(Mermin4,
 author       = {N. D. Mermin},
 year         = {1993},
 title        = {Hidden variables and the two theorems of John Bell},
 journal      = {Rev. Mod. Phys.},
 volume       = {65},
 pages        = {803--815},
 doi          = {10.1103/RevModPhys.65.803},
)
@article(Mermin3,
 author       = {N.D. Mermin},
 year         = {1990},
 title        = {Simple unified form for the major no-hidden-variables theorems},
 journal      = {Phys. Rev. Lett.},
 volume       = {65},
 pages        = {3373--3376},
 doi          = {10.1103/PhysRevLett.65.3373},
)
@article(Penrose,
 author       = {R. Penrose},
 year         = {1992},
 title        = {On the Cohomology of Impossible Figures},
 journal      = {Leonardo},
 volume       = {25},
 number       = {3/4},
 pages        = {245--247},
 doi          = {10.2307/1575844},
)
@article(Peres,
 author       = {A. Peres},
 year         = {1990},
 title        = {Incompatible results of quantum measurements},
 journal      = {Physics Letters A},
 volume       = {151},
 number       = {3},
 pages        = {107 -- 108},
 doi          = {10.1016/0375-9601(90)90172-K},
)
@article(PR,
 author       = {S. Popescu and D. Rohrlich},
 title        = {Quantum nonlocality as an axiom},
 journal      = {Foundations of Physics},
 volume       = {24},
 number       = {3},
 pages        = {379--385},
 doi          = {10.1007/BF02058098},
)
@inproceedings(Postnikov,
 author       = {M. M. Postnikov},
 year         = {1951},
 title        = {Determination of the homology groups of a space by means of the homotopy invariants},
 booktitle    = {Dokl. Akad. Nauk. SSSR (N.S.)},
 volume       = {76},
 pages        = {359--362},
)
@book(Alexei,
 author       = {A. Skorobogatov},
 year         = {2001},
 title        = {Torsors and Rational Points},
 publisher    = {Cambridge University Press},
 url          = {http://dx.doi.org/10.1017/CBO9780511549588},
 note         = {Cambridge Books Online},
)