@article{journals/lmcs/NageleFZ17,
  added-at = {2020-01-14T00:00:00.000+0100},
  author = {Nagele, Julian and Felgenhauer, Bertram and Zankl, Harald},
  biburl = {https://www.bibsonomy.org/bibtex/232a32bbdfa527260e15ea832450c0330/dblp},
  ee = {https://doi.org/10.23638/LMCS-13(2:4)2017},
  interhash = {a8d667e998fbdc9603c5237bb330765c},
  intrahash = {32a32bbdfa527260e15ea832450c0330},
  journal = {Logical Methods in Computer Science},
  keywords = {dblp},
  number = 2,
  timestamp = {2020-01-15T11:39:24.000+0100},
  title = {Certifying Confluence Proofs via Relative Termination and Rule Labeling.},
  url = {http://dblp.uni-trier.de/db/journals/lmcs/lmcs13.html#NageleFZ17},
  volume = 13,
  year = 2017
}

{"_id":"njmK5Zf9aKRnbF92S","bibbaseid":"nagele-felgenhauer-zankl-certifyingconfluenceproofsviarelativeterminationandrulelabeling-2017","authorIDs":[],"author_short":["Nagele, J.","Felgenhauer, B.","Zankl, H."],"bibdata":{"bibtype":"article","type":"article","added-at":"2020-01-14T00:00:00.000+0100","author":[{"propositions":[],"lastnames":["Nagele"],"firstnames":["Julian"],"suffixes":[]},{"propositions":[],"lastnames":["Felgenhauer"],"firstnames":["Bertram"],"suffixes":[]},{"propositions":[],"lastnames":["Zankl"],"firstnames":["Harald"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/232a32bbdfa527260e15ea832450c0330/dblp","ee":"https://doi.org/10.23638/LMCS-13(2:4)2017","interhash":"a8d667e998fbdc9603c5237bb330765c","intrahash":"32a32bbdfa527260e15ea832450c0330","journal":"Logical Methods in Computer Science","keywords":"dblp","number":"2","timestamp":"2020-01-15T11:39:24.000+0100","title":"Certifying Confluence Proofs via Relative Termination and Rule Labeling.","url":"http://dblp.uni-trier.de/db/journals/lmcs/lmcs13.html#NageleFZ17","volume":"13","year":"2017","bibtex":"@article{journals/lmcs/NageleFZ17,\n added-at = {2020-01-14T00:00:00.000+0100},\n author = {Nagele, Julian and Felgenhauer, Bertram and Zankl, Harald},\n biburl = {https://www.bibsonomy.org/bibtex/232a32bbdfa527260e15ea832450c0330/dblp},\n ee = {https://doi.org/10.23638/LMCS-13(2:4)2017},\n interhash = {a8d667e998fbdc9603c5237bb330765c},\n intrahash = {32a32bbdfa527260e15ea832450c0330},\n journal = {Logical Methods in Computer Science},\n keywords = {dblp},\n number = 2,\n timestamp = {2020-01-15T11:39:24.000+0100},\n title = {Certifying Confluence Proofs via Relative Termination and Rule Labeling.},\n url = {http://dblp.uni-trier.de/db/journals/lmcs/lmcs13.html#NageleFZ17},\n volume = 13,\n year = 2017\n}\n\n","author_short":["Nagele, J.","Felgenhauer, B.","Zankl, H."],"key":"journals/lmcs/NageleFZ17","id":"journals/lmcs/NageleFZ17","bibbaseid":"nagele-felgenhauer-zankl-certifyingconfluenceproofsviarelativeterminationandrulelabeling-2017","role":"author","urls":{"Link":"https://doi.org/10.23638/LMCS-13(2:4)2017","Paper":"http://dblp.uni-trier.de/db/journals/lmcs/lmcs13.html#NageleFZ17"},"keyword":["dblp"],"downloads":0},"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/Bertram?items=1000","creationDate":"2020-08-03T18:34:52.543Z","downloads":0,"keywords":["dblp"],"search_terms":["certifying","confluence","proofs","via","relative","termination","rule","labeling","nagele","felgenhauer","zankl"],"title":"Certifying Confluence Proofs via Relative Termination and Rule Labeling.","year":2017,"dataSources":["fYGRSD8HXJYwZPaY7"]}