@unpublished{ClavelEtAl05,
author = {M.~Clavel and J.~Meseguer and M.~Palomino},
series = {Extended and revised version. Submitted},
title = {Reflection in {M}embership {E}quational {L}ogic, {M}any-{S}orted {E}quational {L}ogic, {H}orn-{L}ogic with {E}quality, and {R}ewriting {L}ogic},
projects = {MERIT},
butype = {misc},
year = {2005}
}