@inproceedings{BofillPV09prole,
	author = {Miquel Bofill and Miquel Palah{\'{\i}} and Mateu Villaret}
	title = {A System for {CSP} Solving through Satisfiability Modulo Theories},
	booktitle = {IX Jornadas sobre Programaci{\'o}n y Lenguajes (PROLE'09)},
        pages = {303--312}
	year = {2009},
	address = {Donostia, Spain},
        isbn = {978-84-692-4600-9}
}