@article{journals/jacm/Verma95,
  added-at = {2021-09-23T00:00:00.000+0200},
  author = {Verma, Rakesh M.},
  biburl = {https://www.bibsonomy.org/bibtex/26ccbd6542cfa70dbf2b7e648d71ecf67/dblp},
  ee = {https://doi.org/10.1145/210118.210130},
  interhash = {f4da2d71179e70fe7767f1eeea671ece},
  intrahash = {6ccbd6542cfa70dbf2b7e648d71ecf67},
  journal = {J. ACM},
  keywords = {dblp},
  number = 5,
  pages = {984-1020},
  timestamp = {2024-04-08T20:01:57.000+0200},
  title = {A Theory of Using History for Equational Systems with Applications.},
  url = {http://dblp.uni-trier.de/db/journals/jacm/jacm42.html#Verma95},
  volume = 42,
  year = 1995
}

{"_id":"wDdWgsLeD8zFPdrrL","bibbaseid":"verma-atheoryofusinghistoryforequationalsystemswithapplications-1995","author_short":["Verma, R. M."],"bibdata":{"bibtype":"article","type":"article","added-at":"2021-09-23T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Verma"],"firstnames":["Rakesh","M."],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/26ccbd6542cfa70dbf2b7e648d71ecf67/dblp","ee":"https://doi.org/10.1145/210118.210130","interhash":"f4da2d71179e70fe7767f1eeea671ece","intrahash":"6ccbd6542cfa70dbf2b7e648d71ecf67","journal":"J. ACM","keywords":"dblp","number":"5","pages":"984-1020","timestamp":"2024-04-08T20:01:57.000+0200","title":"A Theory of Using History for Equational Systems with Applications.","url":"http://dblp.uni-trier.de/db/journals/jacm/jacm42.html#Verma95","volume":"42","year":"1995","bibtex":"@article{journals/jacm/Verma95,\n added-at = {2021-09-23T00:00:00.000+0200},\n author = {Verma, Rakesh M.},\n biburl = {https://www.bibsonomy.org/bibtex/26ccbd6542cfa70dbf2b7e648d71ecf67/dblp},\n ee = {https://doi.org/10.1145/210118.210130},\n interhash = {f4da2d71179e70fe7767f1eeea671ece},\n intrahash = {6ccbd6542cfa70dbf2b7e648d71ecf67},\n journal = {J. ACM},\n keywords = {dblp},\n number = 5,\n pages = {984-1020},\n timestamp = {2024-04-08T20:01:57.000+0200},\n title = {A Theory of Using History for Equational Systems with Applications.},\n url = {http://dblp.uni-trier.de/db/journals/jacm/jacm42.html#Verma95},\n volume = 42,\n year = 1995\n}\n\n","author_short":["Verma, R. M."],"key":"journals/jacm/Verma95","id":"journals/jacm/Verma95","bibbaseid":"verma-atheoryofusinghistoryforequationalsystemswithapplications-1995","role":"author","urls":{"Link":"https://doi.org/10.1145/210118.210130","Paper":"http://dblp.uni-trier.de/db/journals/jacm/jacm42.html#Verma95"},"keyword":["dblp"],"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/rakesh verma?items=1000","dataSources":["seGkXRkGoHfA3ej9n"],"keywords":["dblp"],"search_terms":["theory","using","history","equational","systems","applications","verma"],"title":"A Theory of Using History for Equational Systems with Applications.","year":1995}