@inproceedings{523240,
    Author = {Walukiewicz, Igor},
    BookTitle = {Logic in Computer Science, 1995. LICS '95. Proceedings., Tenth Annual IEEE Symposium on},
    File = {Completeness of Kozen's axiomatisation of the propositional mu-calculus - Walukiewicz (0) (1) - a - a - k.pdf},
    Month = {jun},
    Pages = {14 -24},
    Title = {Completeness of Kozen's axiomatisation of the propositional mu-calculus},
    Year = {1995},
    bdsk-url-1 = {http://dx.doi.org/10.1109/LICS.1995.523240},
    date-added = {2012-05-06 09:04:03 +0200},
    date-modified = {2012-05-06 07:04:27 +0000},
    doi = {10.1109/LICS.1995.523240}
}

@inproceedings{523240, Author = {Walukiewicz, Igor}, BookTitle = {Logic in Computer Science, 1995. LICS '95. Proceedings., Tenth Annual IEEE Symposium on}, File = {Completeness of Kozen's axiomatisation of the propositional mu-calculus - Walukiewicz (0) (1) - a - a - k.pdf}, Month = {jun}, Pages = {14 -24}, Title = {Completeness of Kozen's axiomatisation of the propositional mu-calculus}, Year = {1995}, bdsk-url-1 = {http://dx.doi.org/10.1109/LICS.1995.523240}, date-added = {2012-05-06 09:04:03 +0200}, date-modified = {2012-05-06 07:04:27 +0000}, doi = {10.1109/LICS.1995.523240} }