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

@comment{{Command line: /usr/bin/bib2bib -c '$key="BK86:jcss" or 1=2' ../biblio/abbrevs.bib ../biblio/rtaloop.bib ../biblio/crossrefs.bib}}

@string{jcss = {Journal of Computer and System Sciences}}

@article{BK86:jcss,
  author = {J. A. Bergstra and Jan Willem Klop},
  year = 1986,
  title = {Conditional rewrite rules: {Confluency} and termination},
  journal = jcss,
  volume = 32,
  number = 3,
  pages = {323--362}
}