An ordinal measure based procedure for termination of functions

François Monin, Marianne Simonot. An ordinal measure based procedure for termination of functions. Theoretical Computer Science, 254(1-2):63-94, 2001. [doi]

Abstract

Abstract is missing.