A Theory of Using History for Equational Systems with Applications. Verma, R. M. J. ACM, 42(5):984-1020, 1995.
A Theory of Using History for Equational Systems with Applications. [link]Link  A Theory of Using History for Equational Systems with Applications. [link]Paper  bibtex   
@article{journals/jacm/Verma95,
  added-at = {2018-11-06T00:00:00.000+0100},
  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 = {2018-11-07T12:11:24.000+0100},
  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
}
Downloads: 0