@misc{indiciae7ba96f31be54,
  title = {Generalized Support and Formal Development of Constraint Propagators},
  author = {James Caldwell and Ian P. Gent and Peter Nightingale},
  year = {2016},
  url = {https://arxiv.org/abs/1504.05846},
  note = {Source identifier: 1504.05846}
}