@Article{bru06a,
  Author         = {Kai Br{\"u}nnler},
  Title          = {Cut elimination inside a deep inference system for
                   classical predicate logic},
  Journal        = {Studia Logica},
  Volume         = {82},
  Number         = {1},
  Pages          = {51{--}71},
  doi            = {10.1007/s11225-006-6605-4},
  url            = {2006/bru06a.pdf},
  year           = 2006
}

{"_id":"WSmrEohaDksjC6uHT","bibbaseid":"brnnler-cuteliminationinsideadeepinferencesystemforclassicalpredicatelogic-2006","authorIDs":[],"author_short":["Brünnler, K."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Kai"],"propositions":[],"lastnames":["Brünnler"],"suffixes":[]}],"title":"Cut elimination inside a deep inference system for classical predicate logic","journal":"Studia Logica","volume":"82","number":"1","pages":"51–71","doi":"10.1007/s11225-006-6605-4","url":"2006/bru06a.pdf","year":"2006","bibtex":"@Article{bru06a,\n Author = {Kai Br{\\\"u}nnler},\n Title = {Cut elimination inside a deep inference system for\n classical predicate logic},\n Journal = {Studia Logica},\n Volume = {82},\n Number = {1},\n Pages = {51{--}71},\n doi = {10.1007/s11225-006-6605-4},\n url = {2006/bru06a.pdf},\n year = 2006\n}\n\n","author_short":["Brünnler, K."],"key":"bru06a","id":"bru06a","bibbaseid":"brnnler-cuteliminationinsideadeepinferencesystemforclassicalpredicatelogic-2006","role":"author","urls":{"Paper":"http://home.inf.unibe.ch/~brambi/2006/bru06a.pdf"},"downloads":0},"bibtype":"article","biburl":"http://home.inf.unibe.ch/~brambi/ltg.bib","creationDate":"2020-02-26T09:06:59.075Z","downloads":0,"keywords":[],"search_terms":["cut","elimination","inside","deep","inference","system","classical","predicate","logic","brünnler"],"title":"Cut elimination inside a deep inference system for classical predicate logic","year":2006,"dataSources":["jFQMeatnEb8qn3qdH"]}