@misc{cox:version-sat,
  author = {Cox, Russ},
  date-added = {2020-11-15 23:36:57 -0800},
  date-modified = {2020-11-15 23:36:57 -0800},
  howpublished = {https://research.swtch.com/version-sat},
  month = dec,
  title = {{Version SAT}},
  year = {2016},
  bdsk-url-1 = {https://research.swtch.com/version-sat}
}