@article{journals/jar/GieslABEFFHOPSS17,
  added-at = {2020-09-05T00:00:00.000+0200},
  author = {Giesl, Jürgen and Aschermann, Cornelius and Brockschmidt, Marc and Emmes, Fabian and Frohn, Florian and Fuhs, Carsten and Hensel, Jera and Otto, Carsten and Plücker, Martin and Schneider-Kamp, Peter and Ströder, Thomas and Swiderski, Stephanie and Thiemann, René},
  biburl = {https://www.bibsonomy.org/bibtex/2a3dbf03642daca411125145fdf60a316/dblp},
  ee = {https://doi.org/10.1007/s10817-016-9388-y},
  interhash = {32b61db3c0fc11f7f875df2f99a12c66},
  intrahash = {a3dbf03642daca411125145fdf60a316},
  journal = {J. Autom. Reason.},
  keywords = {dblp},
  number = 1,
  pages = {3-31},
  timestamp = {2020-09-09T13:35:24.000+0200},
  title = {Analyzing Program Termination and Complexity Automatically with AProVE.},
  url = {http://dblp.uni-trier.de/db/journals/jar/jar58.html#GieslABEFFHOPSS17},
  volume = 58,
  year = 2017
}

{"_id":"KMznpxpMcGgnvgRzt","bibbaseid":"giesl-aschermann-brockschmidt-emmes-frohn-fuhs-hensel-otto-etal-analyzingprogramterminationandcomplexityautomaticallywithaprove-2017","author_short":["Giesl, J.","Aschermann, C.","Brockschmidt, M.","Emmes, F.","Frohn, F.","Fuhs, C.","Hensel, J.","Otto, C.","Plücker, M.","Schneider-Kamp, P.","Ströder, T.","Swiderski, S.","Thiemann, R."],"bibdata":{"bibtype":"article","type":"article","added-at":"2020-09-05T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Giesl"],"firstnames":["Jürgen"],"suffixes":[]},{"propositions":[],"lastnames":["Aschermann"],"firstnames":["Cornelius"],"suffixes":[]},{"propositions":[],"lastnames":["Brockschmidt"],"firstnames":["Marc"],"suffixes":[]},{"propositions":[],"lastnames":["Emmes"],"firstnames":["Fabian"],"suffixes":[]},{"propositions":[],"lastnames":["Frohn"],"firstnames":["Florian"],"suffixes":[]},{"propositions":[],"lastnames":["Fuhs"],"firstnames":["Carsten"],"suffixes":[]},{"propositions":[],"lastnames":["Hensel"],"firstnames":["Jera"],"suffixes":[]},{"propositions":[],"lastnames":["Otto"],"firstnames":["Carsten"],"suffixes":[]},{"propositions":[],"lastnames":["Plücker"],"firstnames":["Martin"],"suffixes":[]},{"propositions":[],"lastnames":["Schneider-Kamp"],"firstnames":["Peter"],"suffixes":[]},{"propositions":[],"lastnames":["Ströder"],"firstnames":["Thomas"],"suffixes":[]},{"propositions":[],"lastnames":["Swiderski"],"firstnames":["Stephanie"],"suffixes":[]},{"propositions":[],"lastnames":["Thiemann"],"firstnames":["René"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/2a3dbf03642daca411125145fdf60a316/dblp","ee":"https://doi.org/10.1007/s10817-016-9388-y","interhash":"32b61db3c0fc11f7f875df2f99a12c66","intrahash":"a3dbf03642daca411125145fdf60a316","journal":"J. Autom. Reason.","keywords":"dblp","number":"1","pages":"3-31","timestamp":"2020-09-09T13:35:24.000+0200","title":"Analyzing Program Termination and Complexity Automatically with AProVE.","url":"http://dblp.uni-trier.de/db/journals/jar/jar58.html#GieslABEFFHOPSS17","volume":"58","year":"2017","bibtex":"@article{journals/jar/GieslABEFFHOPSS17,\n added-at = {2020-09-05T00:00:00.000+0200},\n author = {Giesl, Jürgen and Aschermann, Cornelius and Brockschmidt, Marc and Emmes, Fabian and Frohn, Florian and Fuhs, Carsten and Hensel, Jera and Otto, Carsten and Plücker, Martin and Schneider-Kamp, Peter and Ströder, Thomas and Swiderski, Stephanie and Thiemann, René},\n biburl = {https://www.bibsonomy.org/bibtex/2a3dbf03642daca411125145fdf60a316/dblp},\n ee = {https://doi.org/10.1007/s10817-016-9388-y},\n interhash = {32b61db3c0fc11f7f875df2f99a12c66},\n intrahash = {a3dbf03642daca411125145fdf60a316},\n journal = {J. Autom. Reason.},\n keywords = {dblp},\n number = 1,\n pages = {3-31},\n timestamp = {2020-09-09T13:35:24.000+0200},\n title = {Analyzing Program Termination and Complexity Automatically with AProVE.},\n url = {http://dblp.uni-trier.de/db/journals/jar/jar58.html#GieslABEFFHOPSS17},\n volume = 58,\n year = 2017\n}\n\n","author_short":["Giesl, J.","Aschermann, C.","Brockschmidt, M.","Emmes, F.","Frohn, F.","Fuhs, C.","Hensel, J.","Otto, C.","Plücker, M.","Schneider-Kamp, P.","Ströder, T.","Swiderski, S.","Thiemann, R."],"key":"journals/jar/GieslABEFFHOPSS17","id":"journals/jar/GieslABEFFHOPSS17","bibbaseid":"giesl-aschermann-brockschmidt-emmes-frohn-fuhs-hensel-otto-etal-analyzingprogramterminationandcomplexityautomaticallywithaprove-2017","role":"author","urls":{"Link":"https://doi.org/10.1007/s10817-016-9388-y","Paper":"http://dblp.uni-trier.de/db/journals/jar/jar58.html#GieslABEFFHOPSS17"},"keyword":["dblp"],"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/Schneider?items=1000","dataSources":["i8SRmtQi2JMEkzH9M"],"keywords":["dblp"],"search_terms":["analyzing","program","termination","complexity","automatically","aprove","giesl","aschermann","brockschmidt","emmes","frohn","fuhs","hensel","otto","plücker","schneider-kamp","ströder","swiderski","thiemann"],"title":"Analyzing Program Termination and Complexity Automatically with AProVE.","year":2017}