@inproceedings{AbdennadherIsmailKhoury2010,
  author    = {Slim Abdennadher and Haythem Ismail and Frederick Khoury},
  title     = {Transforming imperative algorithms to constraint handling rules},
  year      = {2010},
}