@inproceedings{Gawlitza07PreciseRel, author = {Thomas Gawlitza and Helmut Seidl}, title = {Precise {R}elational {I}nvariants {T}hrough {S}trategy {I}teration}, booktitle = {Computer Science Logic}, editor = {Jacques Duparc and Thomas A. Henzinger}, month = {September}, year = 2007, pages = {23-40}, series = {Lecture Notes in Computer Science}, volume = {4646}, publisher = {Springer}, address = {Lausanne, Switzerland}, }