@InProceedings{PR04:TransPreds,
	author =       {Andreas Podelski and Andrey Rybalchenko},
	title =        {Transition Predicate Abstraction and Fair Termination},
	booktitle =    {Proc.\ of POPL'2005: Principles of Programming Languages},
	publisher =    {ACM Press},
	year =         2005,
	note =         {To appear}
}