@article{Uijlen_2016,
    doi = {10.1007/s00354-016-0202-5},
    url = {https://doi.org/10.1007%2Fs00354-016-0202-5},
    year = {2016},
    month = {mar},
    publisher = {Springer Science and Business Media {LLC}},
    volume = {34},
    number = {1-2},
    pages = {3--23},
    author = {Sander Uijlen and Bas Westerbaan},
    title = {A Kochen-Specker System Has at Least 22 Vectors},
    journal = {New Generation Computing}
}

@article{Uijlen_2016, doi = {10.1007/s00354-016-0202-5}, url = {https://doi.org/10.1007%2Fs00354-016-0202-5}, year = {2016}, month = {mar}, publisher = {Springer Science and Business Media {LLC}}, volume = {34}, number = {1-2}, pages = {3--23}, author = {Sander Uijlen and Bas Westerbaan}, title = {A Kochen-Specker System Has at Least 22 Vectors}, journal = {New Generation Computing} }