@misc{indiciaebf5c43665961,
  title = {Generic Traces and Constraints, GenTra4CP revisited},
  author = {Pierre Deransart},
  year = {2011},
  url = {https://arxiv.org/abs/1105.6210},
  note = {Source identifier: 1105.6210}
}