Podelski, Andreas Programming Logics, MPI for Informatics, Max Planck Society;
Rybalchenko, Andrey Programming Logics, MPI for Informatics, Max Planck Society;
Podelski, A., & Rybalchenko, A. (2005). Transition predicate abstraction and fair termination. In Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2005 (pp. 124-139). New York, USA: ACM.