@MastersThesis{tra09,
  Author         = {Traber, Roger},
  Title          = {Proof-{S}ystems for {PLTL}: {C}ycling {S}equents and
                   their {U}se in a {F}initization for {PLTL}},
  School         = {Universit\"at Bern},
  Address        = {Institut f\"ur Informatik und angewandte Mathematik},
  url            = {2009/tra09.pdf},
  year           = 2009
}

{"_id":"5nQWPrKodrSozJ4h3","bibbaseid":"traber-proofsystemsforpltlcyclingsequentsandtheiruseinafinitizationforpltl-2009","authorIDs":[],"author_short":["Traber, R."],"bibdata":{"bibtype":"mastersthesis","type":"mastersthesis","author":[{"propositions":[],"lastnames":["Traber"],"firstnames":["Roger"],"suffixes":[]}],"title":"Proof-Systems for PLTL: Cycling Sequents and their Use in a Finitization for PLTL","school":"Universität Bern","address":"Institut für Informatik und angewandte Mathematik","url":"2009/tra09.pdf","year":"2009","bibtex":"@MastersThesis{tra09,\n Author = {Traber, Roger},\n Title = {Proof-{S}ystems for {PLTL}: {C}ycling {S}equents and\n their {U}se in a {F}initization for {PLTL}},\n School = {Universit\\\"at Bern},\n Address = {Institut f\\\"ur Informatik und angewandte Mathematik},\n url = {2009/tra09.pdf},\n year = 2009\n}\n\n","author_short":["Traber, R."],"key":"tra09","id":"tra09","bibbaseid":"traber-proofsystemsforpltlcyclingsequentsandtheiruseinafinitizationforpltl-2009","role":"author","urls":{"Paper":"http://home.inf.unibe.ch/~brambi/2009/tra09.pdf"},"downloads":0},"bibtype":"mastersthesis","biburl":"http://home.inf.unibe.ch/~brambi/ltg.bib","creationDate":"2020-02-26T09:06:59.072Z","downloads":0,"keywords":[],"search_terms":["proof","systems","pltl","cycling","sequents","use","finitization","pltl","traber"],"title":"Proof-Systems for PLTL: Cycling Sequents and their Use in a Finitization for PLTL","year":2009,"dataSources":["jFQMeatnEb8qn3qdH"]}