@inproceedings{Moyen01,
  author = {Jean-Yves Moyen},
  title = {System {P}resentation\string: {A}n analyser of rewriting 
           systems complexity},
  booktitle = {Electronic Notes in Theoretical Computer Science},
  volume = 59,
  issue = 4,
  publisher = {Elsevier Science Publishers},
  editor = {Mark van den Brand and Rakesh Verma},
  year = 2001,
  note = {Workshop RULE, accessible \url{http://www.elsevier.com/gej-ng/31/29/23/89/33/37/59.4.011.ps}}
}