Podelski, Andreas Programming Logics, MPI for Informatics, Max Planck Society;
Rybalchenko, Andrey Programming Logics, MPI for Informatics, Max Planck Society;
Cook, B., Podelski, A., & Rybalchenko, A. (2005). Abstraction-refinement for Termination. In Static analysis: 12th International Symposium, SAS 2005 (pp. 87-101). Berlin, Germany: Springer.