English Size-change termination principle Cited by user Citation bot on 02 Dec 2018 The size-change termination principle (SCT) guarantees termination for a computer program by proving that infinite computations always trigger infinite descent in data…