@inproceedings{conf/cade/NageleFM17,
  added-at = {2018-11-02T00:00:00.000+0100},
  author = {Nagele, Julian and Felgenhauer, Bertram and Middeldorp, Aart},
  biburl = {https://www.bibsonomy.org/bibtex/277b3657ce27631272cc3bba22e07a422/dblp},
  booktitle = {CADE},
  crossref = {conf/cade/2017},
  editor = {de Moura, Leonardo},
  ee = {https://doi.org/10.1007/978-3-319-63046-5_24},
  interhash = {2b92407a36332fb903d5456cbfe583d7},
  intrahash = {77b3657ce27631272cc3bba22e07a422},
  isbn = {978-3-319-63046-5},
  keywords = {dblp},
  pages = {385-397},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  timestamp = {2019-05-15T18:56:13.000+0200},
  title = {CSI: New Evidence - A Progress Report.},
  url = {http://dblp.uni-trier.de/db/conf/cade/cade2017.html#NageleFM17},
  volume = 10395,
  year = 2017
}

{"_id":"NE2ijjekaeJKiGvwj","bibbaseid":"nagele-felgenhauer-middeldorp-csinewevidenceaprogressreport-2017","authorIDs":[],"author_short":["Nagele, J.","Felgenhauer, B.","Middeldorp, A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2018-11-02T00:00:00.000+0100","author":[{"propositions":[],"lastnames":["Nagele"],"firstnames":["Julian"],"suffixes":[]},{"propositions":[],"lastnames":["Felgenhauer"],"firstnames":["Bertram"],"suffixes":[]},{"propositions":[],"lastnames":["Middeldorp"],"firstnames":["Aart"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/277b3657ce27631272cc3bba22e07a422/dblp","booktitle":"CADE","crossref":"conf/cade/2017","editor":[{"propositions":["de"],"lastnames":["Moura"],"firstnames":["Leonardo"],"suffixes":[]}],"ee":"https://doi.org/10.1007/978-3-319-63046-5_24","interhash":"2b92407a36332fb903d5456cbfe583d7","intrahash":"77b3657ce27631272cc3bba22e07a422","isbn":"978-3-319-63046-5","keywords":"dblp","pages":"385-397","publisher":"Springer","series":"Lecture Notes in Computer Science","timestamp":"2019-05-15T18:56:13.000+0200","title":"CSI: New Evidence - A Progress Report.","url":"http://dblp.uni-trier.de/db/conf/cade/cade2017.html#NageleFM17","volume":"10395","year":"2017","bibtex":"@inproceedings{conf/cade/NageleFM17,\n added-at = {2018-11-02T00:00:00.000+0100},\n author = {Nagele, Julian and Felgenhauer, Bertram and Middeldorp, Aart},\n biburl = {https://www.bibsonomy.org/bibtex/277b3657ce27631272cc3bba22e07a422/dblp},\n booktitle = {CADE},\n crossref = {conf/cade/2017},\n editor = {de Moura, Leonardo},\n ee = {https://doi.org/10.1007/978-3-319-63046-5_24},\n interhash = {2b92407a36332fb903d5456cbfe583d7},\n intrahash = {77b3657ce27631272cc3bba22e07a422},\n isbn = {978-3-319-63046-5},\n keywords = {dblp},\n pages = {385-397},\n publisher = {Springer},\n series = {Lecture Notes in Computer Science},\n timestamp = {2019-05-15T18:56:13.000+0200},\n title = {CSI: New Evidence - A Progress Report.},\n url = {http://dblp.uni-trier.de/db/conf/cade/cade2017.html#NageleFM17},\n volume = 10395,\n year = 2017\n}\n\n","author_short":["Nagele, J.","Felgenhauer, B.","Middeldorp, A."],"editor_short":["de Moura, L."],"key":"conf/cade/NageleFM17","id":"conf/cade/NageleFM17","bibbaseid":"nagele-felgenhauer-middeldorp-csinewevidenceaprogressreport-2017","role":"author","urls":{"Link":"https://doi.org/10.1007/978-3-319-63046-5_24","Paper":"http://dblp.uni-trier.de/db/conf/cade/cade2017.html#NageleFM17"},"keyword":["dblp"],"downloads":0},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/Bertram?items=1000","creationDate":"2020-08-03T18:34:52.903Z","downloads":0,"keywords":["dblp"],"search_terms":["csi","new","evidence","progress","report","nagele","felgenhauer","middeldorp"],"title":"CSI: New Evidence - A Progress Report.","year":2017,"dataSources":["fYGRSD8HXJYwZPaY7"]}