@unpublished{CDEELM-OMT09,
title = {Unification and Narrowing in {M}aude 2.4},
author = {M.~Clavel and F.~Duran and S.~Eker and S.~Escobarand P.~Lincoln and N.~Marti-Oliet and J.~Meseguer and C.~Talcott},
note = {Accepted for publication at \emph{The 20th International Conference on Rewriting Techniques and Applications} (RTA'09)},
projects = {MERIT,PROMESAS,STAMP},
butype = {},
year = {2009}
}