@book{DBLP:books/sp/Bonacina17,
  author       = {Ilario Bonacina},
  title        = {Space in Weak Propositional Proof Systems},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-73453-8},
  doi          = {10.1007/978-3-319-73453-8},
  isbn         = {978-3-319-73452-1},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/sp/Bonacina17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"nXwiGRM958hzErbxG","bibbaseid":"bonacina-spaceinweakpropositionalproofsystems-2017","author_short":["Bonacina, I."],"bibdata":{"bibtype":"book","type":"book","author":[{"firstnames":["Ilario"],"propositions":[],"lastnames":["Bonacina"],"suffixes":[]}],"title":"Space in Weak Propositional Proof Systems","publisher":"Springer","year":"2017","url":"https://doi.org/10.1007/978-3-319-73453-8","doi":"10.1007/978-3-319-73453-8","isbn":"978-3-319-73452-1","timestamp":"Sun, 02 Jun 2019 01:00:00 +0200","biburl":"https://dblp.org/rec/books/sp/Bonacina17.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@book{DBLP:books/sp/Bonacina17,\n author = {Ilario Bonacina},\n title = {Space in Weak Propositional Proof Systems},\n publisher = {Springer},\n year = {2017},\n url = {https://doi.org/10.1007/978-3-319-73453-8},\n doi = {10.1007/978-3-319-73453-8},\n isbn = {978-3-319-73452-1},\n timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},\n biburl = {https://dblp.org/rec/books/sp/Bonacina17.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Bonacina, I."],"key":"DBLP:books/sp/Bonacina17","id":"DBLP:books/sp/Bonacina17","bibbaseid":"bonacina-spaceinweakpropositionalproofsystems-2017","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-319-73453-8"},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"book","biburl":"https://dblp.org/pid/120/3998.bib","dataSources":["fJZLPt45Jq8hSe2Hc"],"keywords":[],"search_terms":["space","weak","propositional","proof","systems","bonacina"],"title":"Space in Weak Propositional Proof Systems","year":2017}