@PhDThesis{Triska2014,
  author = {Markus Triska},
  title  = {Correctness Considerations in {CLP(FD)} Systems},
  school = {Vienna University of Technology},
  year   = 2014
}