State-independent proof of Kochen-Specker theorem with 13 rays - Yu, S. (2014)
10.1103/PhysRevLett.108.030402