@inproceedings{Gawlitza07PreciseFix,
  author = {Thomas Gawlitza and Helmut Seidl},
  title = {Precise {F}ixpoint {C}omputation {T}hrough {S}trategy {I}teration},
  booktitle = {Programming Languages and Systems},
  editor = {Rocco De Nicola},
  month = {April},
  year = 2007,
  pages = {300-315},
  series = {Lecture Notes in Computer Science},
  volume = {4421},
  publisher = {Springer},
  address = {Braga, Portugal},
}