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

@comment{{Command line: /usr/bin/bib2bib -c '$key="BPW89" or $key="JK86:siam" or $key="PS81:jacm" or $key="marche96jsc" or $key="JM89:disco" or 1=2' ../biblio/abbrevs.bib ../biblio/rtaloop.bib ../biblio/crossrefs.bib}}

@string{springer = {Springer-Verlag}}

@string{jacm = {J. of the Association for Computing Machinery}}

@string{jsc = {Journal of Symbolic Computation}}

@string{siam = {SIAM Journal on Computing}}

@string{lncs = {Lecture Notes in Computer Science}}

@inproceedings{jm89:disco,
  author = {Jean-Pierre Jouannaud and Claude March{\'e}},
  title = {Completion Modulo Associativity, Commutativity and Identity},
  booktitle = {Proceedings of the International Symposium on the Design
                 and Implementation of Symbolic Computation Systems (Capri,
                 Italy)},
  year = 1990,
  editor = {Alfonso Miola},
  volume = 429,
  series = lncs,
  publisher = springer,
  address = {Berlin},
  pages = {111--120},
  month = apr
}

@inproceedings{BPW89,
  author = {Timothy Baird and Gerald Peterson and Ralph Wilkerson},
  title = {Complete Sets of Reductions Modulo {Associativity,
                 Commutativity and Identity}},
  crossref = {rta89},
  pages = {29--44}
}

@article{JK86:siam,
  author = {Jean-Pierre Jouannaud and H{\'e}l{\`e}ne Kirchner},
  month = nov,
  year = {1986},
  title = {Completion of a set of rules modulo a set of equations},
  journal = siam,
  volume = {15},
  pages = {1155--1194}
}

@article{PS81:jacm,
  author = {Gerald E. Peterson and Mark E. Stickel},
  month = apr,
  year = {1981},
  title = {Complete sets of reductions for some equational theories},
  journal = jacm,
  volume = {28},
  number = {2},
  pages = {233--264}
}

@article{marche96jsc,
  author = {Claude March{\'e}},
  title = {Normalized Rewriting: an alternative to Rewriting
                  modulo a Set of Equations},
  journal = jsc,
  year = 1996,
  month = mar,
  volume = 21,
  number = 3,
  pages = {253--288},
  url = {ftp://ftp.lri.fr/LRI/articles/marche/jsc96.ps.gz}
}

@proceedings{rta89,
  booktitle = {Rewriting Techniques and Applications},
  title = {Rewriting Techniques and Applications},
  editor = {Nachum Dershowitz},
  series = lncs,
  publisher = springer,
  year = 1989,
  month = apr,
  address = {Chapel Hill, NC, USA},
  volume = 355
}