@inproceedings{DBLP:conf/sbmf/Benzmuller17,
  author    = {Christoph Benzm{\"{u}}ller},
  editor    = {Simone Andr{\'{e}} da Costa Cavalheiro and
               Jos{\'{e}} Luiz Fiadeiro},
  title     = {Recent Successes with a Meta-Logical Approach to Universal Logical
               Reasoning (Extended Abstract)},
  booktitle = {Formal Methods: Foundations and Applications - 20th Brazilian Symposium,
               {SBMF} 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10623},
  pages     = {7--11},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-70848-5\_2},
  doi       = {10.1007/978-3-319-70848-5\_2},
  timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/sbmf/Benzmuller17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"7eftoxz2iL4ehtKMQ","bibbaseid":"benzmller-recentsuccesseswithametalogicalapproachtouniversallogicalreasoningextendedabstract-2017","author_short":["Benzmüller, C."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Christoph"],"propositions":[],"lastnames":["Benzmüller"],"suffixes":[]}],"editor":[{"firstnames":["Simone","André"],"propositions":["da"],"lastnames":["Costa","Cavalheiro"],"suffixes":[]},{"firstnames":["José","Luiz"],"propositions":[],"lastnames":["Fiadeiro"],"suffixes":[]}],"title":"Recent Successes with a Meta-Logical Approach to Universal Logical Reasoning (Extended Abstract)","booktitle":"Formal Methods: Foundations and Applications - 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings","series":"Lecture Notes in Computer Science","volume":"10623","pages":"7–11","publisher":"Springer","year":"2017","url":"https://doi.org/10.1007/978-3-319-70848-5_2","doi":"10.1007/978-3-319-70848-5_2","timestamp":"Wed, 25 Sep 2019 01:00:00 +0200","biburl":"https://dblp.org/rec/conf/sbmf/Benzmuller17.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/sbmf/Benzmuller17,\n author = {Christoph Benzm{\\\"{u}}ller},\n editor = {Simone Andr{\\'{e}} da Costa Cavalheiro and\n Jos{\\'{e}} Luiz Fiadeiro},\n title = {Recent Successes with a Meta-Logical Approach to Universal Logical\n Reasoning (Extended Abstract)},\n booktitle = {Formal Methods: Foundations and Applications - 20th Brazilian Symposium,\n {SBMF} 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {10623},\n pages = {7--11},\n publisher = {Springer},\n year = {2017},\n url = {https://doi.org/10.1007/978-3-319-70848-5\\_2},\n doi = {10.1007/978-3-319-70848-5\\_2},\n timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},\n biburl = {https://dblp.org/rec/conf/sbmf/Benzmuller17.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Benzmüller, C."],"editor_short":["da Costa Cavalheiro, S. A.","Fiadeiro, J. L."],"key":"DBLP:conf/sbmf/Benzmuller17","id":"DBLP:conf/sbmf/Benzmuller17","bibbaseid":"benzmller-recentsuccesseswithametalogicalapproachtouniversallogicalreasoningextendedabstract-2017","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-319-70848-5_2"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/b/CBenzmueller.bib","dataSources":["TMLR8ZY4yQJ9bNyWt"],"keywords":[],"search_terms":["recent","successes","meta","logical","approach","universal","logical","reasoning","extended","abstract","benzmüller"],"title":"Recent Successes with a Meta-Logical Approach to Universal Logical Reasoning (Extended Abstract)","year":2017}