{"_id":"PrAdXbz4hXR7fBbdZ","bibbaseid":"verma-uniquenormalformsandconfluenceofrewritesystemspersistence-1995","author_short":["Verma, R. M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2019-08-20T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Verma"],"firstnames":["Rakesh","M."],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/29b463605df9de9d8954998b3c6ce9b4c/dblp","booktitle":"IJCAI","crossref":"conf/ijcai/1995","ee":"http://ijcai.org/Proceedings/95-1/Papers/048.pdf","interhash":"474d61e56e3df0471844bb7fd72340d9","intrahash":"9b463605df9de9d8954998b3c6ce9b4c","keywords":"dblp","pages":"362-370","publisher":"Morgan Kaufmann","timestamp":"2019-08-21T11:48:23.000+0200","title":"Unique Normal Forms and Confluence of Rewrite Systems: Persistence.","url":"http://dblp.uni-trier.de/db/conf/ijcai/ijcai95.html#Verma95","year":"1995","bibtex":"@inproceedings{conf/ijcai/Verma95,\n added-at = {2019-08-20T00:00:00.000+0200},\n author = {Verma, Rakesh M.},\n biburl = {https://www.bibsonomy.org/bibtex/29b463605df9de9d8954998b3c6ce9b4c/dblp},\n booktitle = {IJCAI},\n crossref = {conf/ijcai/1995},\n ee = {http://ijcai.org/Proceedings/95-1/Papers/048.pdf},\n interhash = {474d61e56e3df0471844bb7fd72340d9},\n intrahash = {9b463605df9de9d8954998b3c6ce9b4c},\n keywords = {dblp},\n pages = {362-370},\n publisher = {Morgan Kaufmann},\n timestamp = {2019-08-21T11:48:23.000+0200},\n title = {Unique Normal Forms and Confluence of Rewrite Systems: Persistence.},\n url = {http://dblp.uni-trier.de/db/conf/ijcai/ijcai95.html#Verma95},\n year = 1995\n}\n\n","author_short":["Verma, R. M."],"key":"conf/ijcai/Verma95","id":"conf/ijcai/Verma95","bibbaseid":"verma-uniquenormalformsandconfluenceofrewritesystemspersistence-1995","role":"author","urls":{"Link":"http://ijcai.org/Proceedings/95-1/Papers/048.pdf","Paper":"http://dblp.uni-trier.de/db/conf/ijcai/ijcai95.html#Verma95"},"keyword":["dblp"],"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/rakesh verma?items=1000","dataSources":["seGkXRkGoHfA3ej9n"],"keywords":["dblp"],"search_terms":["unique","normal","forms","confluence","rewrite","systems","persistence","verma"],"title":"Unique Normal Forms and Confluence of Rewrite Systems: Persistence.","year":1995}