@Article{bs12,
  Author =	 {Br\"unnler, Kai and Studer, Thomas},
  Title =	 {Syntactic cut-elimination for a fragment of the
                  modal mu-calculus},
  Journal =	 {Annals of Pure and Applied Logic},
  pages =	 {1838--1853},
  volume =	 163,
  Number =	 12,
  year =	 2012,
  url =		 {2012/bs12.pdf}
}

{"_id":"8iGNKBim9SfrjnCch","bibbaseid":"brnnler-studer-syntacticcuteliminationforafragmentofthemodalmucalculus-2012","authorIDs":[],"author_short":["Brünnler, K.","Studer, T."],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Brünnler"],"firstnames":["Kai"],"suffixes":[]},{"propositions":[],"lastnames":["Studer"],"firstnames":["Thomas"],"suffixes":[]}],"title":"Syntactic cut-elimination for a fragment of the modal mu-calculus","journal":"Annals of Pure and Applied Logic","pages":"1838–1853","volume":"163","number":"12","year":"2012","url":"2012/bs12.pdf","bibtex":"@Article{bs12,\n Author =\t {Br\\\"unnler, Kai and Studer, Thomas},\n Title =\t {Syntactic cut-elimination for a fragment of the\n modal mu-calculus},\n Journal =\t {Annals of Pure and Applied Logic},\n pages =\t {1838--1853},\n volume =\t 163,\n Number =\t 12,\n year =\t 2012,\n url =\t\t {2012/bs12.pdf}\n}\n\n\n\n","author_short":["Brünnler, K.","Studer, T."],"key":"bs12","id":"bs12","bibbaseid":"brnnler-studer-syntacticcuteliminationforafragmentofthemodalmucalculus-2012","role":"author","urls":{"Paper":"http://home.inf.unibe.ch/~brambi/2012/bs12.pdf"},"downloads":0},"bibtype":"article","biburl":"http://home.inf.unibe.ch/~brambi/ltg.bib","creationDate":"2020-02-26T09:06:59.095Z","downloads":0,"keywords":[],"search_terms":["syntactic","cut","elimination","fragment","modal","calculus","brünnler","studer"],"title":"Syntactic cut-elimination for a fragment of the modal mu-calculus","year":2012,"dataSources":["jFQMeatnEb8qn3qdH"]}