@INPROCEEDINGS{ecs11a-prole11,
  author={S. Est\'evez-Mart\'{\i}n, J. Correas and F. S\'aenz-P\'erez},
  title={{Embedding a Constraints Solver over Sets of Integers in TOY}},
  booktitle={{XI Jornadas sobre Programaci\'on y Lenguajes, PROLE2011
(SISTEDES)}},
  month={September},
  year={2011},
  note={Ongoing Work}
  }