@inproceedings{tz13:stoc,
  title = "The complexity of finite-valued {C}{S}{P}s",
  author = "Johan Thapper and Stanislav \v{Z}ivn\'y",
  year = "2013",
  booktitle = "Proceedings of the 45th ACM Symposium on the Theory of Computing (STOC'13)",
  pages = "695-704",
  publisher = "ACM",
  url = "http://zivny.cz/publications/tz13stoc-preprint.pdf",
  doi = "10.1145/2488608.2488697",
}