Argument-Bounded Algorithms as a Basis for Automated Termination Proofs. 9th CADE, LNCS310 (1988)

by C Walther