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

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

@string{ieee = {IEEE}}

@string{aaecc = {Applicable Algebra in Engineering, Communication and Computing}}

@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{OO93:ieice,
  author = {Michio Oyamaguchi and Yoshikatsu Ohta},
  title = {On the Confluent Property of Right-Ground Term Rewriting
                 Systems },
  journal = {Trans. IEICE},
  year = {1993},
  volume = {J76-D-I},
  pages = {39--45}
}

@inproceedings{O90:ieice,
  author = {Michio Oyamaguchi},
  title = {On the Word Problem for Right-Ground Term-Rewriting Systems},
  booktitle = {Trans. IEICE},
  volume = {E73-5},
  pages = {718--723},
  year = 1990
}

@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}
}

@article{godoy04aaecc,
  author = {Guillem Godoy and Ashish Tiwari and Rakesh Verma},
  title = {Characterizing Confluence by Rewrite Closure and Right Ground Term Rewrite Systems},
  journal = aaecc,
  volume = 15,
  number = 1,
  year = 2004,
  month = jun,
  pages = {13--36},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0938-1279&volume=15&issue=1&spage=13}
}

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

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