@misc{indiciaebef6ea4fe8fe,
  title = {Satisfiability of General Intruder Constraints with and without a Set Constructor},
  author = {Tigran Avanesov and Yannick Chevalier and Michaël Rusinowitch and Mathieu Turuani},
  year = {2011},
  url = {https://arxiv.org/abs/1103.0220},
  note = {Source identifier: 1103.0220}
}