@proceedings{DBLP:conf/cade/2017arcade,
  editor    = {Giles Reger and
               Dmitriy Traytel},
  title     = {{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},
  publisher = {EasyChair},
  year      = {2017},
  url       = {https://easychair.org/publications/volume/ARCADE\_2017},
  timestamp = {Fri, 13 Aug 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/cade/2017arcade.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"Q8E9hTM6vze8pMGNX","bibbaseid":"reger-traytel-arcade20171stinternationalworkshoponautomatedreasoningchallengesapplicationsdirectionsexemplaryachievementsgothenburgsweden6thaugust2017-2017","bibdata":{"bibtype":"proceedings","type":"proceedings","editor":[{"firstnames":["Giles"],"propositions":[],"lastnames":["Reger"],"suffixes":[]},{"firstnames":["Dmitriy"],"propositions":[],"lastnames":["Traytel"],"suffixes":[]}],"title":"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","publisher":"EasyChair","year":"2017","url":"https://easychair.org/publications/volume/ARCADE_2017","timestamp":"Fri, 13 Aug 2021 01:00:00 +0200","biburl":"https://dblp.org/rec/conf/cade/2017arcade.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@proceedings{DBLP:conf/cade/2017arcade,\n editor = {Giles Reger and\n Dmitriy Traytel},\n title = {{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 publisher = {EasyChair},\n year = {2017},\n url = {https://easychair.org/publications/volume/ARCADE\\_2017},\n timestamp = {Fri, 13 Aug 2021 01:00:00 +0200},\n biburl = {https://dblp.org/rec/conf/cade/2017arcade.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","editor_short":["Reger, G.","Traytel, D."],"key":"DBLP:conf/cade/2017arcade","id":"DBLP:conf/cade/2017arcade","bibbaseid":"reger-traytel-arcade20171stinternationalworkshoponautomatedreasoningchallengesapplicationsdirectionsexemplaryachievementsgothenburgsweden6thaugust2017-2017","role":"editor","urls":{"Paper":"https://easychair.org/publications/volume/ARCADE_2017"},"metadata":{"authorlinks":{}}},"bibtype":"proceedings","biburl":"https://dblp.org/pid/95/10567.bib","dataSources":["kgH2yTFtfgstdBGrT"],"keywords":[],"search_terms":["arcade","2017","1st","international","workshop","automated","reasoning","challenges","applications","directions","exemplary","achievements","gothenburg","sweden","6th","august","2017"],"title":"ARCADE 2017, 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements, Gothenburg, Sweden, 6th August 2017","year":2017}