@InProceedings{CDEMprovingtools_1998,
  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 = 	 {In Proceedings of the CafeOBJ Symposium '98},
  year = 	 {1998},
  publisher =    {Japan Advanced Institute for Science and Technology},
}