@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
}

{"_id":"NG4aoqZEHrMQfbZ9P","bibbaseid":"verma-smaranacongruenceclosurebasedsystemforequationalcomputations-1993","author_short":["Verma, R. M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2017-05-22T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Verma"],"firstnames":["Rakesh","M."],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/2ad664d39ed5fddd3b9878faa5e6e51da/dblp","booktitle":"RTA","crossref":"conf/rta/1993","editor":[{"propositions":[],"lastnames":["Kirchner"],"firstnames":["Claude"],"suffixes":[]}],"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","bibtex":"@inproceedings{conf/rta/Verma93,\n added-at = {2017-05-22T00:00:00.000+0200},\n author = {Verma, Rakesh M.},\n biburl = {https://www.bibsonomy.org/bibtex/2ad664d39ed5fddd3b9878faa5e6e51da/dblp},\n booktitle = {RTA},\n crossref = {conf/rta/1993},\n editor = {Kirchner, Claude},\n ee = {https://doi.org/10.1007/978-3-662-21551-7_37},\n interhash = {7031f9133b033a9b22fb3d2d14036015},\n intrahash = {ad664d39ed5fddd3b9878faa5e6e51da},\n isbn = {3-540-56868-9},\n keywords = {dblp},\n pages = {457-461},\n publisher = {Springer},\n series = {Lecture Notes in Computer Science},\n timestamp = {2019-05-15T12:18:37.000+0200},\n title = {Smaran: A Congruence-Closure Based System for Equational Computations.},\n url = {http://dblp.uni-trier.de/db/conf/rta/rta93.html#Verma93},\n volume = 690,\n year = 1993\n}\n\n","author_short":["Verma, R. M."],"editor_short":["Kirchner, C."],"key":"conf/rta/Verma93","id":"conf/rta/Verma93","bibbaseid":"verma-smaranacongruenceclosurebasedsystemforequationalcomputations-1993","role":"author","urls":{"Link":"https://doi.org/10.1007/978-3-662-21551-7_37","Paper":"http://dblp.uni-trier.de/db/conf/rta/rta93.html#Verma93"},"keyword":["dblp"],"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/rakesh verma?items=1000","dataSources":["seGkXRkGoHfA3ej9n"],"keywords":["dblp"],"search_terms":["smaran","congruence","closure","based","system","equational","computations","verma"],"title":"Smaran: A Congruence-Closure Based System for Equational Computations.","year":1993}