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

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

@string{acta = {Acta Informatica}}

@string{ic = {Information and Computation}}

@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{KuchRusi94a,
  author = {Gregory Kucherov and Micha\"el Rusinowitch},
  title = {On the ground reducibility problem for word
		  rewriting systems with variables},
  journal = {Information Processing Letters},
  year = 1994,
  note = {To appear. Earlier version appeared in the
  Proceedings of 1994 ACM/SIGAPP Symposium on Applied Computing,
  Phoenix, AZ.}
}

@article{JK89:ic,
  author = {Jean-Pierre Jouannaud and Emmanuel Kounalis},
  year = {1989},
  title = {Automatic proofs by induction in equational theories without
                 constructors},
  journal = ic,
  volume = 81,
  number = 1,
  pages = {1--33}
}