The size-change principle for program termination (2001) (via 5d22b) — discussion

#plt