TY  - RPRT
TI  - Satisfiability of General Intruder Constraints with and without a Set Constructor
AU  - Tigran Avanesov
AU  - Yannick Chevalier
AU  - Michaël Rusinowitch
AU  - Mathieu Turuani
PY  - 2011
UR  - https://arxiv.org/abs/1103.0220
ID  - 1103.0220
ER  -