Byron Cook, Andreas Podelski, Andrey Rybalchenko: Summarization for termination: no return! Formal Methods Syst. Des. 35(3): 369-387 (2009)