@InProceedings{Pnueli:TACAS05-124,
  author =       "Amir Pnueli and Andreas Podelski and Andrey
                 Rybalchenko",
  title =        "Separating Fairness and Well-Foundedness for the
                 Analysis of Fair Discrete Systems",
  year =         "2005",
  pages =        "124--139",
  ee =           "http://springerlink.metapress.com/content/1x7dhk2eb9qx7y88",
  editor =       "Nicolas Halbwachs and Lenore D. Zuck",
  booktitle =    "Tools and Algorithms for the Construction and Analysis
                 of Systems, 11th International Conference, {TACAS}
                 2005, Held as Part of the Joint European Conferences on
                 Theory and Practice of Software, {ETAPS} 2005,
                 Edinburgh, {UK}, April 4--8, 2005, Proceedings",
  publisher =    "Springer",
  series =       "Lecture Notes in Computer Science",
  volume =       "3440",
  ISBN =         "3-540-25333-5",
  URL =          "http://www.mpi-inf.mpg.de/~rybal/trans-inv-fds.pdf",
}