@article{GawlitzaS11,
  author = {Thomas Martin Gawlitza and Helmut Seidl},
  title = {Solving systems of rational equations through strategy iteration},
  journal = {ACM Trans. Program. Lang. Syst.},
  year = 2011,
  pages = {11},
  volume = {33},
  number = {3},
  doi = {10.1145/1961204.1961207},
}