@article{J40,
  urlDBLP = {https://dblp.org/rec/journals/scp/Benzmuller19.html},
  author =	 {Christoph Benzm{\"u}ller},
  title =	 {Universal (Meta-)Logical Reasoning: Recent
                  Successes},
  journal =	 {Science of Computer Programming},
  year =	 2019,
  volume =	 172,
  pages =	 {48--62},
  url = {http://doi.org/10.13140/RG.2.2.11039.61609/2},
  doi =		 {10.1016/j.scico.2018.10.008},
}

{"_id":"M7tT8ETSv9ZA4gKTb","bibbaseid":"benzmller-universalmetalogicalreasoningrecentsuccesses-2019","author_short":["Benzmüller, C."],"bibdata":{"bibtype":"article","type":"article","urldblp":"https://dblp.org/rec/journals/scp/Benzmuller19.html","author":[{"firstnames":["Christoph"],"propositions":[],"lastnames":["Benzmüller"],"suffixes":[]}],"title":"Universal (Meta-)Logical Reasoning: Recent Successes","journal":"Science of Computer Programming","year":"2019","volume":"172","pages":"48–62","url":"http://doi.org/10.13140/RG.2.2.11039.61609/2","doi":"10.1016/j.scico.2018.10.008","bibtex":"@article{J40,\n urlDBLP = {https://dblp.org/rec/journals/scp/Benzmuller19.html},\n author =\t {Christoph Benzm{\\\"u}ller},\n title =\t {Universal (Meta-)Logical Reasoning: Recent\n Successes},\n journal =\t {Science of Computer Programming},\n year =\t 2019,\n volume =\t 172,\n pages =\t {48--62},\n url = {http://doi.org/10.13140/RG.2.2.11039.61609/2},\n doi =\t\t {10.1016/j.scico.2018.10.008},\n}\n\n","author_short":["Benzmüller, C."],"key":"J40","id":"J40","bibbaseid":"benzmller-universalmetalogicalreasoningrecentsuccesses-2019","role":"author","urls":{"Dblp":"https://dblp.org/rec/journals/scp/Benzmuller19.html","Paper":"http://doi.org/10.13140/RG.2.2.11039.61609/2"},"metadata":{"authorlinks":{}},"downloads":3},"bibtype":"article","biburl":"http://page.mi.fu-berlin.de/cbenzmueller/papers/chris.bib","dataSources":["ckRabafyoGpACyPpf","TMLR8ZY4yQJ9bNyWt","S5G7BggtbXZA2Q63T"],"keywords":[],"search_terms":["universal","meta","logical","reasoning","recent","successes","benzmüller"],"title":"Universal (Meta-)Logical Reasoning: Recent Successes","year":2019,"downloads":3}