@inproceedings{QuantifiedConstraints,
  title = "Quantified constraints: algorithms and complexity",
  author = "Ferdinand B{\"o}rner and Andrei Bulatov and Peter Jeavons and Andrei Krokhin",
  year = "2003",
  booktitle = "Proceedings of CSL'03",
  note = "Longer version available as an OUCL Research Report: \url{http://web.comlab.ox.ac.uk/oucl/publications/tr/rr-02-11.html}",
  number = "2803",
  pages = "58--70",
  series = "Lecture Notes in Computer Science",
  url = "http://springerlink.metapress.com/content/2gmm51wv6xjx1u3e/fulltext.pdf",
  doi = "10.1007/b13224",
}