@misc{indiciaec4b3470a9cb1, title = {A proof of the Kochen-Specker theorem can always be converted to a state-independent noncontextuality inequality}, author = {Xiao-Dong Yu and Yan-Qing Guo and D. M. Tong}, year = {2015}, doi = {10.1088/1367-2630/17/9/093001}, url = {https://arxiv.org/abs/1505.02603}, note = {Source identifier: 1505.02603} }