@inproceedings{Seidl09Smooth,
  author = {Helmut Seidl and Vesal Vojdani and Varmo Vene},
  title = {A {S}mooth {C}ombination of {L}inear and {H}erbrand {E}qualities for {P}olynomial {T}ime {M}ust-{A}lias {A}nalysis},
  booktitle = {Formal Methods},
  editor = {Ana Cavalcanti and Dennis Dams},
  month = {November},
  year = 2009,
  series = {Lecture Notes in Computer Science},
  volume = {5850},
  publisher = {Springer},
  address = {Eindhoven, The Netherlands},
}