On Formalised Proofs of Termination of Recursive Functions (1999)

by F Kamareddine, F Monin
Venue:PPDP’99, LNCS 1702