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

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

@string{springer = {Springer-Verlag}}

@string{lncs = {Lecture Notes in Computer Science}}

@techreport{ZG96,
  author = {Hans Zantema and Alfons Geser},
  title = {Non-looping rewriting},
  institution = {Utrecht University},
  year = 1996,
  number = {UU-CS-96-03},
  address = {Department of Computer Science},
  month = jan,
  note = {Extended version to appear in {\it RAIRO Th\'eor. Inf}
			as "Non-looping string rewriting"}
}

@inproceedings{Dershowitz05OpenClosed,
  author = {Nachum Dershowitz},
  title = {{O}pen. {C}losed. {O}pen},
  crossref = {rta05},
  url = {http://www.cs.tau.ac.il/\home{nachumd}/papers/OpenClosed.pdf}
}

@proceedings{rta05,
  title = {16th International Conference on Rewriting Techniques},
  booktitle = {16th International Conference on Rewriting Techniques},
  editor = {J\"urgen Giesl},
  publisher = springer,
  series = lncs,
  volume = 3467,
  address = {Nara, Japan},
  month = apr,
  year = 2005
}