@inproceedings{DBLP:conf/tableaux/Jeavons09,
  title = "Presenting Constraints",
  author = "Peter Jeavons",
  year = "2009",
  booktitle = "TABLEAUX",
  crossref = "DBLP:conf/tableaux/2009",
  editor = "Martin Giese and Arild Waaler",
  isbn = "978-3-642-02715-4",
  journal = "Automated Reasoning with Analytic Tableaux and Related Methods, 18th International Conference, TABLEAUX 2009, Oslo, Norway,
July 6-10, 2009. Proceedings",
  pages = "1-15",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "5607",
  doi = "10.1007/978-3-642-02716-1_1",
}