@TechReport{CDEMcafeprover_1998,
  author = 	 {M. Clavel and F. Dur{\'a}n and S. Eker and J. Meseguer},
  title = 	 {Design and Implementation of the Cafe Prover and Church-Rosser Checker Tools},
  institution =  {SRI International},
  year = 	 {1998},
}