@inproceedings{DBLP:conf/cade/MossakowskiCK0G14,
  author       = {Till Mossakowski and
                  Mihai Codescu and
                  Oliver Kutz and
                  Christoph Lange and
                  Michael Gr{\"{u}}ninger},
  editor       = {Christoph Benzm{\"{u}}ller and
                  Jens Otten},
  title        = {Proof Support for Common Logic},
  booktitle    = {Automated Reasoning in Quantified Non-Classical Logics, ARQNL@IJCAR
                  2014, Vienna, Austria, July 23, 2014},
  series       = {EPiC Series in Computing},
  volume       = {33},
  pages        = {42--58},
  publisher    = {EasyChair},
  year         = {2014},
  url          = {https://doi.org/10.29007/2ksh},
  doi          = {10.29007/2KSH},
  timestamp    = {Sun, 15 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/MossakowskiCK0G14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"wv6aRja2zkZCSbDtj","bibbaseid":"mossakowski-codescu-kutz-lange-grninger-proofsupportforcommonlogic-2014","downloads":0,"creationDate":"2018-09-18T09:42:35.128Z","title":"Proof Support for Common Logic","author_short":["Mossakowski, T.","Codescu, M.","Kutz, O.","Lange, C.","Grüninger, M."],"year":2014,"bibtype":"inproceedings","biburl":"https://dblp.org/pid/29/4227.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Till"],"propositions":[],"lastnames":["Mossakowski"],"suffixes":[]},{"firstnames":["Mihai"],"propositions":[],"lastnames":["Codescu"],"suffixes":[]},{"firstnames":["Oliver"],"propositions":[],"lastnames":["Kutz"],"suffixes":[]},{"firstnames":["Christoph"],"propositions":[],"lastnames":["Lange"],"suffixes":[]},{"firstnames":["Michael"],"propositions":[],"lastnames":["Grüninger"],"suffixes":[]}],"editor":[{"firstnames":["Christoph"],"propositions":[],"lastnames":["Benzmüller"],"suffixes":[]},{"firstnames":["Jens"],"propositions":[],"lastnames":["Otten"],"suffixes":[]}],"title":"Proof Support for Common Logic","booktitle":"Automated Reasoning in Quantified Non-Classical Logics, ARQNL@IJCAR 2014, Vienna, Austria, July 23, 2014","series":"EPiC Series in Computing","volume":"33","pages":"42–58","publisher":"EasyChair","year":"2014","url":"https://doi.org/10.29007/2ksh","doi":"10.29007/2KSH","timestamp":"Sun, 15 Aug 2021 01:00:00 +0200","biburl":"https://dblp.org/rec/conf/cade/MossakowskiCK0G14.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/cade/MossakowskiCK0G14,\n author = {Till Mossakowski and\n Mihai Codescu and\n Oliver Kutz and\n Christoph Lange and\n Michael Gr{\\\"{u}}ninger},\n editor = {Christoph Benzm{\\\"{u}}ller and\n Jens Otten},\n title = {Proof Support for Common Logic},\n booktitle = {Automated Reasoning in Quantified Non-Classical Logics, ARQNL@IJCAR\n 2014, Vienna, Austria, July 23, 2014},\n series = {EPiC Series in Computing},\n volume = {33},\n pages = {42--58},\n publisher = {EasyChair},\n year = {2014},\n url = {https://doi.org/10.29007/2ksh},\n doi = {10.29007/2KSH},\n timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},\n biburl = {https://dblp.org/rec/conf/cade/MossakowskiCK0G14.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Mossakowski, T.","Codescu, M.","Kutz, O.","Lange, C.","Grüninger, M."],"editor_short":["Benzmüller, C.","Otten, J."],"key":"DBLP:conf/cade/MossakowskiCK0G14","id":"DBLP:conf/cade/MossakowskiCK0G14","bibbaseid":"mossakowski-codescu-kutz-lange-grninger-proofsupportforcommonlogic-2014","role":"author","urls":{"Paper":"https://doi.org/10.29007/2ksh"},"metadata":{"authorlinks":{"lange, c":"https://sda.tech/people/dr-christoph-lange/"}},"downloads":0},"search_terms":["proof","support","common","logic","mossakowski","codescu","kutz","lange","grüninger"],"keywords":[],"authorIDs":["DEktqHQWgsDyXM868","NCtgqS7oLXTh7Y7v9","TMzBJcdYxnNufzz2S","XMoEHDDjvSkhNySf4","iHeYBdryYpureSL4b","znbuuTBepJbGBmZc7"],"dataSources":["Smh7N7pGmghKvpo5R","kedf4DRdGxSj6HRjQ","utoK22vdACuMZhGfE","qBPx969Q7fKqBkP4s"]}