Kahrs92'

BibTeX

@inproceedings{DBLP:conf/ctrs/Kahrs92,
  author    = {Stefan Kahrs},
  title     = {Context Rewriting},
  booktitle = {CTRS},
  year      = {1992},
  pages     = {21-35},
  crossref  = {DBLP:conf/ctrs/1992},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/ctrs/1992,
  editor    = {Micha{\"e}l Rusinowitch and
               Jean-Luc Remy},
  title     = {Conditional Term Rewriting Systems, Third International
               Workshop, CTRS-92, Pont-{\`a}-Mousson, France, July 8-10,
               1992, Proceedings},
  booktitle = {CTRS},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {656},
  year      = {1993},
  isbn      = {3-540-56393-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}