@Article{jks08,
  Author         = {J{\"a}ger, Gerhard and Kretz, Mathis and Studer,
                   Thomas},
  Title          = {Canonical completeness of infinitary mu},
  Journal        = {Journal of Logic and Algebraic Programming},
  Volume         = {76},
  Number         = {2},
  Pages          = {270-292},
  abstract       = {},
  doi            = {10.1016/j.jlap.2008.02.005},
  url            = {2008/jks08.pdf},
  year           = 2008
}

{"_id":"suWBFxENRPY3Z7jxb","bibbaseid":"jger-kretz-studer-canonicalcompletenessofinfinitarymu-2008","authorIDs":[],"author_short":["Jäger, G.","Kretz, M.","Studer, T."],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Jäger"],"firstnames":["Gerhard"],"suffixes":[]},{"propositions":[],"lastnames":["Kretz"],"firstnames":["Mathis"],"suffixes":[]},{"propositions":[],"lastnames":["Studer"],"firstnames":["Thomas"],"suffixes":[]}],"title":"Canonical completeness of infinitary mu","journal":"Journal of Logic and Algebraic Programming","volume":"76","number":"2","pages":"270-292","abstract":"","doi":"10.1016/j.jlap.2008.02.005","url":"2008/jks08.pdf","year":"2008","bibtex":"@Article{jks08,\n Author = {J{\\\"a}ger, Gerhard and Kretz, Mathis and Studer,\n Thomas},\n Title = {Canonical completeness of infinitary mu},\n Journal = {Journal of Logic and Algebraic Programming},\n Volume = {76},\n Number = {2},\n Pages = {270-292},\n abstract = {},\n doi = {10.1016/j.jlap.2008.02.005},\n url = {2008/jks08.pdf},\n year = 2008\n}\n\n","author_short":["Jäger, G.","Kretz, M.","Studer, T."],"key":"jks08","id":"jks08","bibbaseid":"jger-kretz-studer-canonicalcompletenessofinfinitarymu-2008","role":"author","urls":{"Paper":"http://home.inf.unibe.ch/~brambi/2008/jks08.pdf"},"downloads":0},"bibtype":"article","biburl":"http://home.inf.unibe.ch/~brambi/ltg.bib","creationDate":"2020-02-26T09:06:59.085Z","downloads":0,"keywords":[],"search_terms":["canonical","completeness","infinitary","jäger","kretz","studer"],"title":"Canonical completeness of infinitary mu","year":2008,"dataSources":["jFQMeatnEb8qn3qdH"]}