ChandraHMP81'

@inproceedings{DBLP:conf/stoc/ChandraHMP81,
  author    = {Ashok K. Chandra and
               Joseph Y. Halpern and
               Albert R. Meyer and
               Rohit Parikh},
  title     = {Equations between Regular Terms and an Application to Process
               Logic},
  booktitle = {STOC},
  year      = {1981},
  pages     = {384-390},
  ee        = {http://doi.acm.org/10.1145/800076.802493},
  crossref  = {DBLP:conf/stoc/STOC13},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

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