@techreport{Seidl05Flat, 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}, journal = {CoRR}, year = 2005, series = {Forschungsbericht}, volume = {abs/cs/0511014}, publisher = {Universit\"at Trier, Mathematik/Informatik}, }