@article{journals/corr/abs-1710-10991,
  added-at = {2018-08-13T00:00:00.000+0200},
  author = {Felgenhauer, Bertram},
  biburl = {https://www.bibsonomy.org/bibtex/253e546c7d4171fca1e3498992a3a4234/dblp},
  ee = {http://arxiv.org/abs/1710.10991},
  interhash = {ff6dac7d2826d0d2f125d6ef538013d2},
  intrahash = {53e546c7d4171fca1e3498992a3a4234},
  journal = {CoRR},
  keywords = {dblp},
  timestamp = {2018-08-14T14:47:09.000+0200},
  title = {Deciding Confluence and Normal Form Properties of Ground Term Rewrite Systems Efficiently.},
  url = {http://dblp.uni-trier.de/db/journals/corr/corr1710.html#abs-1710-10991},
  volume = {abs/1710.10991},
  year = 2017
}

{"_id":"Fh7s2cpACjwrNZj3z","bibbaseid":"felgenhauer-decidingconfluenceandnormalformpropertiesofgroundtermrewritesystemsefficiently-2017","authorIDs":[],"author_short":["Felgenhauer, B."],"bibdata":{"bibtype":"article","type":"article","added-at":"2018-08-13T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Felgenhauer"],"firstnames":["Bertram"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/253e546c7d4171fca1e3498992a3a4234/dblp","ee":"http://arxiv.org/abs/1710.10991","interhash":"ff6dac7d2826d0d2f125d6ef538013d2","intrahash":"53e546c7d4171fca1e3498992a3a4234","journal":"CoRR","keywords":"dblp","timestamp":"2018-08-14T14:47:09.000+0200","title":"Deciding Confluence and Normal Form Properties of Ground Term Rewrite Systems Efficiently.","url":"http://dblp.uni-trier.de/db/journals/corr/corr1710.html#abs-1710-10991","volume":"abs/1710.10991","year":"2017","bibtex":"@article{journals/corr/abs-1710-10991,\n added-at = {2018-08-13T00:00:00.000+0200},\n author = {Felgenhauer, Bertram},\n biburl = {https://www.bibsonomy.org/bibtex/253e546c7d4171fca1e3498992a3a4234/dblp},\n ee = {http://arxiv.org/abs/1710.10991},\n interhash = {ff6dac7d2826d0d2f125d6ef538013d2},\n intrahash = {53e546c7d4171fca1e3498992a3a4234},\n journal = {CoRR},\n keywords = {dblp},\n timestamp = {2018-08-14T14:47:09.000+0200},\n title = {Deciding Confluence and Normal Form Properties of Ground Term Rewrite Systems Efficiently.},\n url = {http://dblp.uni-trier.de/db/journals/corr/corr1710.html#abs-1710-10991},\n volume = {abs/1710.10991},\n year = 2017\n}\n\n","author_short":["Felgenhauer, B."],"key":"journals/corr/abs-1710-10991","id":"journals/corr/abs-1710-10991","bibbaseid":"felgenhauer-decidingconfluenceandnormalformpropertiesofgroundtermrewritesystemsefficiently-2017","role":"author","urls":{"Link":"http://arxiv.org/abs/1710.10991","Paper":"http://dblp.uni-trier.de/db/journals/corr/corr1710.html#abs-1710-10991"},"keyword":["dblp"],"downloads":0},"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/Bertram?items=1000","creationDate":"2020-08-03T18:34:52.947Z","downloads":0,"keywords":["dblp"],"search_terms":["deciding","confluence","normal","form","properties","ground","term","rewrite","systems","efficiently","felgenhauer"],"title":"Deciding Confluence and Normal Form Properties of Ground Term Rewrite Systems Efficiently.","year":2017,"dataSources":["fYGRSD8HXJYwZPaY7"]}