12 citations · 12 across the 1 of their papers we have counts for
1 paper
Amir M. Ben-Amram, Chin Soon Lee
Size-Change Termination is an increasingly-popular technique for verifying program termination. These termination proofs are deduced from an abstract representation of the program…