@inproceedings{Seidl08Analysing,
  author = {Helmut Seidl and Andrea Flexeder and Michael Petter},
  title = {Analysing {A}ll {P}olynomial {E}quations in ${\mathbb {Z}_{2^w}}$},
  booktitle = {Static Analysis},
  editor = {Mar\'ia Alpuente and Germ\'an Vidal},
  month = {July},
  year = 2008,
  pages = {299-314},
  series = {Lecture Notes in Computer Science},
  volume = {5079},
  publisher = {Springer},
  doi = {10.1007/978-3-540-69166-2_20},
  address = {Valencia, Spain},
}