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

@comment{{Command line: /usr/bin/bib2bib -c '$key="BEGKPS87:pal" or $key="P91:ctrs" or $key="HP91:rairo" or $key="Ohlebusch97alp" or 1=2' ../biblio/abbrevs.bib ../biblio/rtaloop.bib ../biblio/crossrefs.bib}}

@string{springer = {Springer-Verlag}}

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

@inproceedings{P91:ctrs,
  author = {D. Plump},
  title = {Implementing Term Rewriting by Graph Reduction: {Termination}
                 of Combined  Systems},
  booktitle = {Proceedings of the Second International Workshop on
                 Conditional and Typed Rewriting Systems (Montreal, Canada,
                 June 1990)},
  year = 1991,
  editor = {S. Kaplan and M. Okada},
  pages = {307--317},
  volume = 516,
  series = lncs,
  publisher = springer,
  address = {Berlin}
}

@article{HP91:rairo,
  author = {B. Hoffmann and D. Plump},
  title = {Implementing Term Rewriting by Jungle Evaluation},
  journal = {RAIRO Theoretical Informatics and Applications},
  year = {1991},
  volume = {25},
  number = {5},
  pages = {445--472}
}

@inproceedings{BEGKPS87:pal,
  author = {Henk Barendregt and M. C. J. D. {van Eekelen} and
			J. R. W. Glauert and J. R. Kennaway and
			M. J. Plasmeijer and M. R. Sleep},
  title = {Term Graph Rewriting},
  booktitle = {Proceedings of the European Workshop on Parallel
			Architectures and Languages},
  year = {1987},
  pages = {141--158},
  series = lncs,
  publisher = springer,
  address = {Berlin},
  volume = 259
}

@inproceedings{Ohlebusch97alp,
  author = {Enno Ohlebusch},
  title = {Conditional Term Graph Rewriting},
  pages = {144--158},
  crossref = {alp97},
  url = {http://www.TechFak.uni-bielefeld.de/techfak/persons/enno/publications.html#peo}
}

@proceedings{alp97,
  booktitle = {6th International Conference on Algebraic and
			 Logic Programming},
  title = {6th International Conference on Algebraic and
			 Logic Programming},
  year = 1997,
  publisher = springer,
  series = lncs,
  volume = 1298
}