@article{Seidl08Flat, author = {Helmut Seidl and Kumar Neeraj Verma}, title = {Flat and one-variable clauses: {C}omplexity of verifying cryptographic protocols with single blind copying}, journal = {ACM Trans. Comput. Log.}, year = 2008, volume = {9}, number = {4}, }