Aleksandar S. Dimovski. Lifted termination analysis by abstract interpretation and its applications. In Eli Tilevich, Coen De Roover, editors, GPCE '21: Concepts and Experiences, Chicago, IL, USA, October 17 - 18, 2021. pages 96-109, ACM, 2021. [doi]
Abstract is missing.