@inproceedings{DBLP:conf/cade/RegerT17,
  author    = {Giles Reger and
               Dmitriy Traytel},
  editor    = {Giles Reger and
               Dmitriy Traytel},
  title     = {A Report of {ARCADE} 2017},
  booktitle = {{ARCADE} 2017, 1st International Workshop on Automated Reasoning:
               Challenges, Applications, Directions, Exemplary Achievements, Gothenburg,
               Sweden, 6th August 2017},
  series    = {EPiC Series in Computing},
  volume    = {51},
  pages     = {1--5},
  publisher = {EasyChair},
  year      = {2017},
  url       = {https://doi.org/10.29007/143m},
  doi       = {10.29007/143m},
  timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/cade/RegerT17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"rbf7sPwPEnQ6BASye","bibbaseid":"reger-traytel-areportofarcade2017-2017","author_short":["Reger, G.","Traytel, D."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Giles"],"propositions":[],"lastnames":["Reger"],"suffixes":[]},{"firstnames":["Dmitriy"],"propositions":[],"lastnames":["Traytel"],"suffixes":[]}],"editor":[{"firstnames":["Giles"],"propositions":[],"lastnames":["Reger"],"suffixes":[]},{"firstnames":["Dmitriy"],"propositions":[],"lastnames":["Traytel"],"suffixes":[]}],"title":"A Report of ARCADE 2017","booktitle":"ARCADE 2017, 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements, Gothenburg, Sweden, 6th August 2017","series":"EPiC Series in Computing","volume":"51","pages":"1–5","publisher":"EasyChair","year":"2017","url":"https://doi.org/10.29007/143m","doi":"10.29007/143m","timestamp":"Sun, 15 Aug 2021 01:00:00 +0200","biburl":"https://dblp.org/rec/conf/cade/RegerT17.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/cade/RegerT17,\n author = {Giles Reger and\n Dmitriy Traytel},\n editor = {Giles Reger and\n Dmitriy Traytel},\n title = {A Report of {ARCADE} 2017},\n booktitle = {{ARCADE} 2017, 1st International Workshop on Automated Reasoning:\n Challenges, Applications, Directions, Exemplary Achievements, Gothenburg,\n Sweden, 6th August 2017},\n series = {EPiC Series in Computing},\n volume = {51},\n pages = {1--5},\n publisher = {EasyChair},\n year = {2017},\n url = {https://doi.org/10.29007/143m},\n doi = {10.29007/143m},\n timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},\n biburl = {https://dblp.org/rec/conf/cade/RegerT17.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Reger, G.","Traytel, D."],"editor_short":["Reger, G.","Traytel, D."],"key":"DBLP:conf/cade/RegerT17","id":"DBLP:conf/cade/RegerT17","bibbaseid":"reger-traytel-areportofarcade2017-2017","role":"author","urls":{"Paper":"https://doi.org/10.29007/143m"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/95/10567.bib","dataSources":["kgH2yTFtfgstdBGrT"],"keywords":[],"search_terms":["report","arcade","2017","reger","traytel"],"title":"A Report of ARCADE 2017","year":2017}