@misc{indiciae0b3a0f43f5ee,
  title = {Towards a Generic Framework to Generate Explanatory Traces of Constraint Solving and Rule-Based Reasoning},
  author = {Pierre Deransart and Rafael Oliveira},
  year = {2010},
  url = {https://arxiv.org/abs/1001.2188},
  note = {Source identifier: 1001.2188}
}