Architecture for Conditional Term Rewriting

Tony Rush, Derek Coleman. Architecture for Conditional Term Rewriting. In Stéphane Kaplan, Jean-Pierre Jouannaud, editors, Conditional Term Rewriting Systems, 1st International Workshop, Orsay, France, July 8-10, 1987, Proceedings. Volume 308 of Lecture Notes in Computer Science, pages 266-278, Springer, 1987.

@inproceedings{RushC87,
  title = {Architecture for Conditional Term Rewriting},
  author = {Tony Rush and Derek Coleman},
  year = {1987},
  tags = {architecture, term rewriting, graph-rewriting, rewriting},
  researchr = {https://researchr.org/publication/RushC87},
  cites = {0},
  citedby = {0},
  pages = {266-278},
  booktitle = {Conditional Term Rewriting Systems, 1st International Workshop, Orsay, France, July 8-10, 1987, Proceedings},
  editor = {Stéphane Kaplan and Jean-Pierre Jouannaud},
  volume = {308},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-19242-5},
}