Smaran: A Congruence-Closure Based System for Equational Computations. Verma, R. M. In RTA, volume 690, of Lecture Notes in Computer Science, pages 457-461, 1993. Springer.
Smaran: A Congruence-Closure Based System for Equational Computations. [link]Link  Smaran: A Congruence-Closure Based System for Equational Computations. [link]Paper  bibtex   
@inproceedings{conf/rta/Verma93,
  added-at = {2017-05-22T00:00:00.000+0200},
  author = {Verma, Rakesh M.},
  biburl = {https://www.bibsonomy.org/bibtex/2ad664d39ed5fddd3b9878faa5e6e51da/dblp},
  booktitle = {RTA},
  crossref = {conf/rta/1993},
  editor = {Kirchner, Claude},
  ee = {https://doi.org/10.1007/978-3-662-21551-7_37},
  interhash = {7031f9133b033a9b22fb3d2d14036015},
  intrahash = {ad664d39ed5fddd3b9878faa5e6e51da},
  isbn = {3-540-56868-9},
  keywords = {dblp},
  pages = {457-461},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  timestamp = {2019-05-15T12:18:37.000+0200},
  title = {Smaran: A Congruence-Closure Based System for Equational Computations.},
  url = {http://dblp.uni-trier.de/db/conf/rta/rta93.html#Verma93},
  volume = 690,
  year = 1993
}

Downloads: 0