@TechReport{Dknuthbendix_2000,
  author = 	 {F. Dur{'a}n},
  title = 	 {Termination Checker and {K}nuth-{B}endix Completion Tools for 
                  {M}aude Equational Specifications},
  institution =  {Universidad de M{\'a}laga},
  year = 	 {2000},
  month = 	 {July},
}