@InProceedings{Podelski:LICS04-32,
  author =       "Andreas Podelski and Andrey Rybalchenko",
  title =        "Transition Invariants",
  year =         "2004",
  pages =        "32--41",
  ee =           "http://csdl.computer.org/comp/proceedings/lics/2004/2192/00/21920032abs.htm",
  booktitle =    "19th {IEEE} Symposium on Logic in Computer Science
                 ({LICS} 2004), 14--17 July 2004, Turku, Finland,
                 Proceedings",
  publisher =    "IEEE Computer Society",
  ISBN =         "0-7695-2192-4",
  URL =          "http://www.mpi-inf.mpg.de/~rybal/trans-inv.ps",
}