@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}, }