[ChenHLLTTZ18] Advanced Automata-based Algorithms for Program Termination Checking Chen, Y.-F.; Heizmann, M.; Lengál, O.; Li, Y.; Tsai, M.-H.; Turrini, A. and Zhang, L. In PLDI, pages 135-150, 2018.
Downloads: bibURL: http://doi.acm.org/10.1145/3192366.3192405