@misc{indiciaefa6e015d7da9,
  title = {Visualization of Constraint Handling Rules: Semantics and Applications},
  author = {Nada Sharaf and Slim Abdennadher and Thom Frühwirth},
  year = {2017},
  url = {https://arxiv.org/abs/1706.01755},
  note = {Source identifier: 1706.01755}
}