@inproceedings{Seidl04Flat, author = {Helmut Seidl and Kumar Neeraj Verma}, title = {Flat and {O}ne-{V}ariable {C}lauses: {C}omplexity of {V}erifying {C}ryptographic {P}rotocols with {S}ingle {B}lind {C}opying}, booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning}, editor = {Franz Baader and Andrei Voronkov}, month = {March}, year = 2004, pages = {79-94}, series = {Lecture Notes in Computer Science}, volume = {3452}, publisher = {Springer}, address = {Montevideo, Uruguay}, }