@article{ClavelEtAl06,
author = {M.~Clavel and J.~Meseguer and M.~Palomino},
journal = {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 = {2006}
}