DBLP Record 'conf/stoc/Chew81'

BibTeX

@inproceedings{DBLP:conf/stoc/Chew81,
  author    = {Paul Chew},
  title     = {Unique Normal Forms in Term Rewriting Systems with Repeated
               Variables},
  booktitle = {STOC},
  year      = {1981},
  pages     = {7-18},
  crossref  = {DBLP:conf/stoc/STOC13},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/stoc/STOC13,
  title     = {Conference Proceedings of the Thirteenth Annual ACM Symposium
               on Theory of Computation, 11-13 May 1981, Milwaukee, Wisconsin,
               USA},
  booktitle = {STOC},
  publisher = {ACM},
  year      = {1981},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}