@techreport{J34,
  Author =	 {Christoph Benzm{\"u}ller and Alexander Steen and Max
                  Wisniewski},
  Title =	 {News --- 25th International Conference on Automated
                  Deduction (CADE-25)},
  doi =		 {10.1007/s13218-015-0402-z},
  Year =	 2015,
  note =	 {K\"unstliche Intelligenz 29(4):451-452; non-reviewed
                  conference report},
}

{"_id":"PKsgQv82xQzzKJdo2","bibbaseid":"benzmller-steen-wisniewski-news25thinternationalconferenceonautomateddeductioncade25-2015","author_short":["Benzmüller, C.","Steen, A.","Wisniewski, M."],"bibdata":{"bibtype":"techreport","type":"techreport","author":[{"firstnames":["Christoph"],"propositions":[],"lastnames":["Benzmüller"],"suffixes":[]},{"firstnames":["Alexander"],"propositions":[],"lastnames":["Steen"],"suffixes":[]},{"firstnames":["Max"],"propositions":[],"lastnames":["Wisniewski"],"suffixes":[]}],"title":"News — 25th International Conference on Automated Deduction (CADE-25)","doi":"10.1007/s13218-015-0402-z","year":"2015","note":"Künstliche Intelligenz 29(4):451-452; non-reviewed conference report","bibtex":"@techreport{J34,\n Author =\t {Christoph Benzm{\\\"u}ller and Alexander Steen and Max\n Wisniewski},\n Title =\t {News --- 25th International Conference on Automated\n Deduction (CADE-25)},\n doi =\t\t {10.1007/s13218-015-0402-z},\n Year =\t 2015,\n note =\t {K\\\"unstliche Intelligenz 29(4):451-452; non-reviewed\n conference report},\n}\n\n","author_short":["Benzmüller, C.","Steen, A.","Wisniewski, M."],"key":"J34","id":"J34","bibbaseid":"benzmller-steen-wisniewski-news25thinternationalconferenceonautomateddeductioncade25-2015","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"techreport","biburl":"http://page.mi.fu-berlin.de/cbenzmueller/papers/chris.bib","dataSources":["ckRabafyoGpACyPpf","S5G7BggtbXZA2Q63T"],"keywords":[],"search_terms":["news","25th","international","conference","automated","deduction","cade","benzmüller","steen","wisniewski"],"title":"News — 25th International Conference on Automated Deduction (CADE-25)","year":2015}