@comment{{This file has been generated by bib2bib 1.96}}

@comment{{Command line: /usr/bin/bib2bib -c '$key="H81:jcss" or $key="Sattler95" or 1=2' ../biblio/abbrevs.bib ../biblio/rtaloop.bib ../biblio/crossrefs.bib}}

@inproceedings{sattler95,
  author = {Andrea Sattler-Klein},
  title = {About Changing the Ordering During {Knuth-Bendix} Completion},
  booktitle = {Proceedings of the Symposium on Theoretical
                 Aspects of Computer Science},
  pages = {175--186},
  year = 1994
}

@article{H81:jcss,
  author = {G{\'e}rard Huet},
  year = 1981,
  title = {A complete proof of correctness of the {Knuth-Bendix}
                 completion algorithm},
  journal = {J. Computer and System Sciences},
  volume = 23,
  number = 1,
  pages = {11--21}
}