Zantema92'

BibTeX

@inproceedings{DBLP:conf/ctrs/Zantema92,
  author    = {Hans Zantema},
  title     = {Type Removal in Term Rewriting},
  booktitle = {CTRS},
  year      = {1992},
  pages     = {148-154},
  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}
}