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

@comment{{Command line: /usr/bin/bib2bib -c '$key="tiwari02lics" or $key="DHLT90:ic" or $key="comon01focs" or $key="DT90:lics" or $key="O87:tcs" or 1=2' ../biblio/abbrevs.bib ../biblio/rtaloop.bib ../biblio/crossrefs.bib}}

@string{ieee = {IEEE}}

@string{tcs = {Theoretical Computer Science}}

@inproceedings{DT90:lics,
  author = {Max Dauchet and Sophie Tison},
  title = {The Theory of Ground Rewrite Systems is Decidable},
  crossref = {lics90},
  pages = {242--248}
}

@article{O87:tcs,
  author = {Michio Oyamaguchi},
  year = 1987,
  title = {The {Church-Rosser} property for ground term rewriting systems
                 is decidable},
  journal = tcs,
  volume = 49,
  pages = {43--79},
  number = 1
}

@article{DHLT90:ic,
  author = {Max Dauchet and Thierry Heuillard and Pierre Lescanne and
		Sophie Tison},
  title = {Decidability of the Confluence of Finite Ground Term
                 Rewriting Systems and of Other Related Term Rewriting Systems},
  journal = {Information and Computation},
  volume = 88,
  number = 2,
  month = oct,
  year = 1990,
  pages = {187--201}
}

@inproceedings{comon01focs,
  author = {Hubert Comon and Guillem Godoy and Robert Nieuwenhuis},
  title = {The Confluence of Ground Term Rewrite Systems is Decidable
                 in Polynomial Time},
  crossref = {focs01},
  pages = {298--307}
}

@inproceedings{tiwari02lics,
  title = {Deciding Confluence of Certain Term Rewriting Systems in
              Polynomial Time},
  author = {Ashish Tiwari},
  pages = {447--456},
  crossref = {lics02}
}

@string{lics = {Symposium on Logic in Computer Science}}

@proceedings{focs01,
  booktitle = {Proceedings of the 42nd Annual IEEE Symposium on Foundations
                       of Computer Science (FOCS)},
  title = {Proceedings of the 42nd Annual IEEE Symposium on Foundations
                       of Computer Science (FOCS)},
  key = {FOCS01},
  address = {Las Vegas, Nevada, USA},
  year = 2001
}

@proceedings{lics90,
  booktitle = {Fifth } # lics,
  title = {Fifth } # lics,
  editor = {John C. Mitchell},
  year = 1990,
  month = jun,
  address = {Philadelphia, PA},
  organization = ieee
}

@proceedings{lics02,
  booktitle = {{{IEEE Symposium on Logic in Computer Science, LICS 2002}}},
  title = {{{IEEE Symposium on Logic in Computer Science, LICS 2002}}},
  editor = {Gordon Plotkin},
  publisher = ieee,
  month = jul,
  year = 2002,
  address = {Copenhagen, Denmark}
}