TY  - RPRT
TI  - Flat and One-Variable Clauses: Complexity of Verifying Cryptographic Protocols with Single Blind Copying
AU  - Helmut Seidl
AU  - Kumar Neeraj Verma
PY  - 2005
UR  - https://arxiv.org/abs/cs/0511014
ID  - cs/0511014
ER  -