@mastersthesis(a09,
 author       = "Felix Arends",
 year         = "2009",
 title        = "A Lower Bound on the Size of the Smallest Kochen-Specker Vector System in Three Dimensions",
 school       = "University of Oxford",
 url          = "http://www.cs.ox.ac.uk/people/joel.ouaknine/download/arends09.pdf",
)
@inproceedings(aow11,
 author       = "Felix Arends and Jo{\"e}l Ouaknine and Charles W Wampler",
 year         = "2011",
 title        = "On searching for Small Kochen-Specker Vector Systems",
 booktitle    = "Proceedings of the 37th international conference on Graph-Theoretic Concepts in Computer Science",
 organization = "Springer-Verlag",
 pages        = "23--34",
 doi          = "10.1007/978-3-642-25870-1\_4",
)
@article(c00,
 author       = "Ad{\'a}n Cabello",
 year         = "2000",
 title        = "Kochen--Specker theorem and experimental test on hidden variables",
 journal      = "International Journal of Modern Physics A",
 volume       = "15",
 number       = "18",
 pages        = "2813--2820",
 doi          = "10.1016/S0217-751X(00)00202-9",
)
@incollection(qecad,
 author       = "George E Collins",
 year         = "1998",
 title        = "Quantifier elimination for real closed fields by cylindrical algebraic decomposition",
 booktitle    = "Quantifier elimination and cylindrical algebraic decomposition",
 publisher    = "Springer",
 pages        = "85--121",
 doi          = "10.1007/978-3-7091-9459-1\_2",
)
@article(ck09,
 author       = "John H Conway and Simon Kochen",
 year         = "2009",
 title        = "The strong free will theorem",
 journal      = "Notices of the AMS",
 volume       = "56",
 number       = "2",
 pages        = "226--232",
)
@article(redlog,
 author       = "Andreas Dolzmann and Thomas Sturm",
 year         = "1997",
 title        = "Redlog: Computer algebra meets computer logic",
 journal      = "Acm Sigsam Bulletin",
 volume       = "31",
 number       = "2",
 pages        = "2--9",
 doi          = "10.1145/261320.261324",
)
@incollection(ks,
 author       = "Simon Kochen and EP Specker",
 year         = "1975",
 title        = "The problem of hidden variables in quantum mechanics",
 booktitle    = "The Logico-Algebraic Approach to Quantum Mechanics",
 publisher    = "Springer",
 pages        = "293--328",
 doi          = "10.1007/978-94-010-1795-4\_17",
)
@article(geng,
 author       = "Brendan D McKay",
 year         = "1998",
 title        = "Isomorph-free exhaustive generation",
 journal      = "Journal of Algorithms",
 volume       = "26",
 number       = "2",
 pages        = "306--324",
 doi          = "10.1006/jagm.1997.0898",
)
@misc(OC,
 author       = "Jo{\"e}l Ouaknine",
 howpublished = "personal communication",
 note         = "Attended such a lecture of Conway at the Oxford Mathematical Institute in 2005",
)
@article(peres,
 author       = "Asher Peres",
 year         = "1991",
 title        = "Two simple proofs of the Kochen-Specker theorem",
 journal      = "Journal of Physics A: Mathematical and General",
 volume       = "24",
 number       = "4",
 pages        = "L175",
 doi          = "10.1088/0305-4470/24/4/003",
)
@book(qtcm,
 author       = "Asher Peres",
 year         = "1995",
 title        = "Quantum theory: concepts and methods",
 volume       = "57",
 publisher    = "Springer",
)
@misc(oeisA000088,
 author       = "N. J. A. Sloane",
 title        = "The {O}n-{L}ine {E}ncyclopedia of {I}nteger {S}equences",
 url          = "http://oeis.org/A000088",
 note         = "Number of graphs on n unlabeled nodes.",
)
@misc(sf-sloane,
 author       = "N. J. A. Sloane",
 title        = "The {O}n-{L}ine {E}ncyclopedia of {I}nteger {S}equences",
 url          = "http://oeis.org/A006786",
 note         = "Squarefree graphs on n vertices.",
)
@book(tarski,
 author       = "Alfred Tarski",
 year         = "1998",
 title        = "A decision method for elementary algebra and geometry",
 publisher    = "Springer",
)
@misc(GH,
 author       = "Sander Uijlen and Bas Westerbaan",
 title        = "Code and Data for ``A Kochen-Specker system has at least 22 vectors''",
 doi          = "10.5281/zenodo.11718",
 url          = "https://github.com/bwesterb/ks",
)
@misc(sf-weisstein,
 author       = "Eric W. Weisstein",
 title        = "Square-Free Graph",
 url          = "http://mathworld.wolfram.com/Square-FreeGraph.html",
 note         = "Last visited on may 6th 2014",
)