@misc{indiciae784c37702216,
  title = {Quantified Constraint Handling Rules},
  author = {Vincent Barichard and Igor Stéphan},
  year = {2019},
  doi = {10.4204/eptcs.306.25},
  url = {https://arxiv.org/abs/1909.08243},
  note = {Source identifier: 1909.08243}
}