@inproceedings{DBLP:conf/tableaux/LahavZ17,
  author    = {Ori Lahav and
               Yoni Zohar},
  title     = {Cut-Admissibility as a Corollary of the Subformula Property},
  booktitle = {{TABLEAUX}},
  series    = {Lecture Notes in Computer Science},
  volume    = {10501},
  pages     = {65--80},
  publisher = {Springer},
  year      = {2017}
}

{"_id":"ZJFk76u8jzERxPaN6","bibbaseid":"lahav-zohar-cutadmissibilityasacorollaryofthesubformulaproperty-2017","authorIDs":["5d1bce8ac18b46da01000083"],"author_short":["Lahav, O.","Zohar, Y."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Ori"],"propositions":[],"lastnames":["Lahav"],"suffixes":[]},{"firstnames":["Yoni"],"propositions":[],"lastnames":["Zohar"],"suffixes":[]}],"title":"Cut-Admissibility as a Corollary of the Subformula Property","booktitle":"TABLEAUX","series":"Lecture Notes in Computer Science","volume":"10501","pages":"65–80","publisher":"Springer","year":"2017","bibtex":"@inproceedings{DBLP:conf/tableaux/LahavZ17,\n author = {Ori Lahav and\n Yoni Zohar},\n title = {Cut-Admissibility as a Corollary of the Subformula Property},\n booktitle = {{TABLEAUX}},\n series = {Lecture Notes in Computer Science},\n volume = {10501},\n pages = {65--80},\n publisher = {Springer},\n year = {2017}\n}\n\n","author_short":["Lahav, O.","Zohar, Y."],"key":"DBLP:conf/tableaux/LahavZ17","id":"DBLP:conf/tableaux/LahavZ17","bibbaseid":"lahav-zohar-cutadmissibilityasacorollaryofthesubformulaproperty-2017","role":"author","urls":{},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://cs.stanford.edu/~yoniz/mybib.bib","creationDate":"2019-07-02T21:19:47.883Z","downloads":0,"keywords":[],"search_terms":["cut","admissibility","corollary","subformula","property","lahav","zohar"],"title":"Cut-Admissibility as a Corollary of the Subformula Property","year":2017,"dataSources":["KNziKTYGHLEdQDhdk"]}