Stefano Berardi, Paulo Oliva, Silvia Steila. Proving termination of programs having transition invariants of height ω. In Stefano Bistarelli, Andrea Formisano, editors, Proceedings of the 15th Italian Conference on Theoretical Computer Science, Perugia, Italy, September 17-19, 2014. Volume 1231 of CEUR Workshop Proceedings, pages 237-240, CEUR-WS.org, 2014. [doi]
Abstract is missing.