@misc{indiciae668baabc92c9,
  title = {On Searching for Small Kochen-Specker Vector Systems (extended version)},
  author = {Felix Arends and Joel Ouaknine and Charles W. Wampler},
  year = {2011},
  url = {https://arxiv.org/abs/1111.3301},
  note = {Source identifier: 1111.3301}
}