@article{Walukiewicz,
    Author = {Walukiewicz, Igor},
    Journal = {Bulletin of Symbolic Logic},
    Number = {3},
    Pages = {349--366},
    Title = {A Note on the Completeness of Kozen's Axiomatisation of the Propositional $\mu$-Calculus},
    Volume = {2},
    Year = {1996},
    date-added = {2012-05-06 09:09:45 +0200},
    date-modified = {2012-05-06 09:10:29 +0200},
    doi = {10.2307/420995}
}

@article{Walukiewicz, Author = {Walukiewicz, Igor}, Journal = {Bulletin of Symbolic Logic}, Number = {3}, Pages = {349--366}, Title = {A Note on the Completeness of Kozen's Axiomatisation of the Propositional $\mu$-Calculus}, Volume = {2}, Year = {1996}, date-added = {2012-05-06 09:09:45 +0200}, date-modified = {2012-05-06 09:10:29 +0200}, doi = {10.2307/420995} }