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