@TECHREPORT{27-2005,
    AUTHOR	= {Solange Coupet-Grimal and William Delobel},
    TITLE	= {{An Effective Proof of the Well-Foundedness of the Multiset Path Ordering }},
    INSTITUTION	= {{LIF}},
    ADDRESS	= {Marseille, France},
    TYPE	= {Research report},
    NUMBER	= {27-2005},
    MONTH	= {December},
    YEAR	= {2005},
    NOTE	= {http://pageperso.lif.univ-mrs.fr/~edouard.thiel/RESP/Rapports/27-2005.html},
}