@article{clavel-meseguer-palomino-tcs,
author = {M.~Clavel and J.~Meseguer and M.~Palomino},
note = {To appear in \emph{Theoretical Computer Science}},
title = {Reflection in Membership Equational Logic, Many-Sorted Equational Logic, Horn Logic with Equality, and Rewriting Logic},
projects = {MERIT},
butype = {article},
year = {2007}
}