@INPROCEEDINGS{ClavelEtAl02,
  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},
  booktitle =    {Proceedings Fourth International Workshop on Rewriting Logic 
                  and its Applications, WRLA'02, Pisa, Italy,
                  September 19--21, 2002},
  editor =       {Fabio Gadducci and Ugo Montanari},
  publisher =    {Elsevier},
  year =         2002,
  volume =       71,
  series =       {Electronic Notes in Theoretical Computer Science}
}