Flat and One-Variable Clauses: Complexity of Verifying Cryptographic Protocols with Single Blind Copying

Helmut Seidl Kumar Neeraj Verma Flat and One-Variable Clauses: Complexity of Verifying Cryptographic Protocols with Single Blind Copying http://arxiv.org/abs/cs/0511014 2005 CoRR abs/cs/0511014 db/journals/corr/corr0511.html#abs-cs-0511014 informal publication