@InCollection{CDEMprovingtools_2000,
  author = 	 {M. Clavel and F. Dur{\'a}n and S. Eker and J. Meseguer},
  title = 	 {Building Equational Proving Tools by Reflection in 
                  Rewriting Logic},
  booktitle = 	 {Cafe: An Industrial-Strength Algebraic Formal Method},
  publisher =    {Elsevier},
  year = 	 {2000},
}