@proceedings{DBLP:conf/cade/2014arqnl,
  editor    = {Christoph Benzm{\"{u}}ller and
               Jens Otten},
  title     = {Automated Reasoning in Quantified Non-Classical Logics, ARQNL@IJCAR
               2014, Vienna, Austria, July 23, 2014},
  series    = {EPiC Series in Computing},
  volume    = {33},
  publisher = {EasyChair},
  year      = {2015},
  url       = {https://easychair.org/publications/volume/ARQNL\_2014},
  timestamp = {Fri, 13 Aug 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/cade/2014arqnl.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"BodzLetRMPezxXE8z","bibbaseid":"benzmller-otten-automatedreasoninginquantifiednonclassicallogicsarqnlijcar2014viennaaustriajuly232014-2015","authorIDs":[],"bibdata":{"bibtype":"proceedings","type":"proceedings","editor":[{"firstnames":["Christoph"],"propositions":[],"lastnames":["Benzmüller"],"suffixes":[]},{"firstnames":["Jens"],"propositions":[],"lastnames":["Otten"],"suffixes":[]}],"title":"Automated Reasoning in Quantified Non-Classical Logics, ARQNL@IJCAR 2014, Vienna, Austria, July 23, 2014","series":"EPiC Series in Computing","volume":"33","publisher":"EasyChair","year":"2015","url":"https://easychair.org/publications/volume/ARQNL_2014","timestamp":"Fri, 13 Aug 2021 01:00:00 +0200","biburl":"https://dblp.org/rec/conf/cade/2014arqnl.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@proceedings{DBLP:conf/cade/2014arqnl,\n editor = {Christoph Benzm{\\\"{u}}ller and\n Jens Otten},\n title = {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 publisher = {EasyChair},\n year = {2015},\n url = {https://easychair.org/publications/volume/ARQNL\\_2014},\n timestamp = {Fri, 13 Aug 2021 01:00:00 +0200},\n biburl = {https://dblp.org/rec/conf/cade/2014arqnl.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","editor_short":["Benzmüller, C.","Otten, J."],"key":"DBLP:conf/cade/2014arqnl","id":"DBLP:conf/cade/2014arqnl","bibbaseid":"benzmller-otten-automatedreasoninginquantifiednonclassicallogicsarqnlijcar2014viennaaustriajuly232014-2015","role":"editor","urls":{"Paper":"https://easychair.org/publications/volume/ARQNL_2014"},"metadata":{"authorlinks":{}}},"bibtype":"proceedings","biburl":"https://dblp.org/pid/b/CBenzmueller.bib","creationDate":"2019-09-08T04:54:13.492Z","downloads":0,"keywords":[],"search_terms":["automated","reasoning","quantified","non","classical","logics","arqnl","ijcar","2014","vienna","austria","july","2014"],"title":"Automated Reasoning in Quantified Non-Classical Logics, ARQNL@IJCAR 2014, Vienna, Austria, July 23, 2014","year":2015,"dataSources":["kBsJvvMsRAbdyGgQN","TMLR8ZY4yQJ9bNyWt"]}