author = {Javier Esparza and Thomas Gawlitza and Stefan Kiefer and Helmut Seidl},
  title = {Approximative {M}ethods for {M}onotone {S}ystems of {M}in-{M}ax-{P}olynomial {E}quations},
  booktitle = {Automata, Languages and Programming(1)Tack A: Algorithms, Automata, Complexity,and Games},
  editor = {Luca Aceto and Ivan Damg\{aa}rd and Leslie Ann Goldberg and Magn\'us M. Halld\'orsson and Anna Ing\'olfsd\'ottir and Igor Walukiewicz},
  month = {July},
  year = 2008,
  pages = {698-710},
  series = {Lecture Notes in Computer Science},
  volume = {5125},
  publisher = {Springer},
  address = {Reykjavik, Iceland},