Jianhui Chen, Fei He: Proving Termination by k-Induction. ASE 2020: 1239-1243