@ARTICLE{ClavelEtAl06,
  author =       {Manuel Clavel and Jos{\'e} Meseguer and
                  Miguel Palomino},
  title =        {Reflection in Membership Equational Logic,
                  Many-Sorted Equational Logic, Horn-Logic with Equality, 
                  and Rewriting Logic},
  year =         2007,
  journal =      {Theoretical Computer Science}, 
  volume =       373,
  number =       {1-2},
  pages =        {70-91},
  note =         {NOTICE: This is the author's version of a work that
                  was accepted for publication in Theoretical Computer Science.
                  Changes resulting from the publishing process, such as peer
                  review, editing, corrections, structural formatting, and 
                  other quality control mechanisms may not be reflected in this
                  document. Changes may have been made to this work since it
                  was submitted for publication.}

}