id: 70313569
dt: a
an: 70313569
au: Contejean, Evelyne; Paskevich, Andrey; Urbain, Xavier; Courtieu, Pierre;
    Pons, Olivier; Forest, Julien
ti: A3PAT, an approach for certified automated termination proofs
so: PEPM, 63-72 (2010).
py: 2010
pu: 
la: EN
cc: 
ut: 
ci: 
li: doi:10.1145/1706356.1706370