@InProceedings{AEL00-RedArgTRS,
  author =   {Alpuente, M. and Escobar, S. and Lucas, S.},
  title =    {{Redundant Arguments in Term Rewriting}},
  pages =    "309-323",
 booktitle = {9th Int'l Workshop on Functional and Logic Programming 
              (WFLP2000)},
  series =   {SPUPV 2000.2039},
  year =     {2000}
}