Certification of automated termination proofs (2007)

by É Contejean, P Courtieu, J Forest, O Pons, X Urbain
Venue:In Proc. FroCoS’07, LNAI 4720