@inproceedings{ComplexityConstraintSatisfaction,
  title = "Structural Theory of Automata, Semigroups, and Universal Algebra",
  author = "Andrei Krokhin and Andrei Bulatov and Peter Jeavons",
  year = "2003",
  address = "University of Montreal",
  booktitle = "Proceedings of SMS-NATO ASI",
  note = "Earlier version available as an OUCL Research Report: \url{http://web.comlab.ox.ac.uk/oucl/publications/tr/rr-04-08.html}",
  pages = "181-213",
  url = "http://www.springer.com/sgw/cda/frontpage/0,11855,4-10043-22-52121384-0,00.html",
}