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

@comment{{Command line: /usr/bin/bib2bib -c '$key="ComonJacquemard2003" or $key="comon97lics" or $key="C88:grenoble" or $key="P85:ic" or $key="KNZ87:acta" or 1=2' ../biblio/abbrevs.bib ../biblio/rtaloop.bib ../biblio/crossrefs.bib}}

@string{ieee = {IEEE}}

@string{acta = {Acta Informatica}}

@string{ic = {Information and Computation}}

@inproceedings{comon97lics,
  author = {Hubert Comon and Florent Jacquemard},
  title = {Ground Reducibility is {EXPTIME}-complete},
  crossref = {lics97},
  pages = {26--34}
}

@article{ComonJacquemard2003,
  author = {Hubert Comon and Florent Jacquemard},
  title = {Ground Reducibility is {EXPTIME}-complete},
  journal = ic,
  volume = {187},
  number = {1},
  pages = {123--153},
  year = {2003}
}

@article{KNZ87:acta,
  author = {Deepak Kapur and Paliath Narendran and Hantao Zhang},
  month = aug,
  year = 1987,
  title = {On sufficient completeness and related properties of term
                 rewriting systems},
  journal = acta,
  volume = 24,
  number = 4,
  pages = {395--415}
}

@article{P85:ic,
  author = {David A. Plaisted},
  month = may # {/} # jun,
  year = 1985,
  title = {Semantic confluence tests and completion methods},
  journal = {Information and Control},
  volume = 65,
  number = {2/3},
  pages = {182--215}
}

@phdthesis{C88:grenoble,
  author = {Hubert Comon},
  title = {Unification et Disunification: {T}h{\'e}orie et
                Applications},
  school = {Institut National Polytechnique de Grenoble},
  year = 1988,
  note = {In French}
}

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

@proceedings{lics97,
  booktitle = {Twelfth } # lics,
  title = {Twelfth } # lics,
  editor = {Glynn Winskel},
  year = 1997,
  month = jun,
  address = {Warsaw, Poland},
  organization = ieee
}