On automating inductive and non-inductive termination methods (1999)

by F Kamareddine, F Monin
Venue:In Proceedings of the 5th Asian Computing Science Conference, volume 1742 of LNCS