@TECHREPORT{28-2006,
    AUTHOR	= {Solange Coupet-Grimal and William Delobel},
    TITLE	= {{A Constructive Axiomatization of the Recursive Path Ordering}},
    INSTITUTION	= {{LIF}},
    ADDRESS	= {Marseille, France},
    TYPE	= {Research report},
    NUMBER	= {28-2006},
    MONTH	= {January},
    YEAR	= {2006},
    NOTE	= {http://pageperso.lif.univ-mrs.fr/~edouard.thiel/RESP/Rapports/28-2006.html},
}