A3PAT, an approach for certified automated termination proofs.

Evelyne Contejean, Andrey Paskevich, Xavier Urbain, Pierre Courtieu, Olivier Pons, Julien Forest

Browse the full PEPM paper archive.