@INPROCEEDINGS{cs12a-flops2012,
  author = {Ignacio Casti{\~{n}}eiras and Fernando S\'aenz-P\'erez},
  title = {{Improving the Performance of FD Constraint Solving in a CFLP
  System}},
  booktitle = {Eleventh International Symposium on Functional and Logic
  Programming
  (FLOPS 2012)},
  month = {May},
  year = {2012},
  pages = {88-105}
  series = {LNCS 7294},
  publisher = {Springer},
  address = {Kobe, Japan},
}