A Uniform and Certified Approach for Two Static Analyses. - Solange Coupet-Grimal; William Delobel (TYPES, 2004)

An effective proof of the well-foundedness of the multiset path ordering. - Solange Coupet-Grimal; William Delobel (Appl. Algebra Eng. Commun. Comput., 2006)