133
click to vote
TPHOL
2007
IEEE
15 years 9 months ago
2007
IEEE
We present a simple method to formally prove termination of recursive functions by searching for lexicographic combinations of size measures. Despite its simplicity, the method tur...