Improved Modular Termination Proofs Using Dependency Pairs (2004)

by R Thiemann, J Giesl, P Schneider-Kamp
Venue:In: Proc. of the 2nd Int. Joint Conf. on Automated Reasoning, LNAI 3097 (IJCAR2004