@inproceedings{316076,
    Author = {Andersen, H.R. and Stirling, C. and Winskel, G.},
    BookTitle = {Logic in Computer Science, 1994. LICS '94. Proceedings., Symposium on},
    File = {A compositional proof system for the modal mu;-calculus - Andersen, Stirling, Winskel (0) (0) - a - a - r.pdf},
    Keywords = {modal mu-calculus and proof theory},
    Month = {jul},
    Pages = {144 -153},
    Title = {A compositional proof system for the modal mu;-calculus},
    Year = {1994},
    bdsk-url-1 = {http://dx.doi.org/10.1109/LICS.1994.316076},
    date-added = {2013-01-30 17:29:55 +0000},
    date-modified = {2013-01-30 17:30:27 +0000},
    file-2 = {A compositional proof system for the modal mu;-calculus - Andersen, Stirling, Winskel (1) (0) - a - a - r.pdf},
    doi = {10.1109/LICS.1994.316076}
}

@inproceedings{316076, Author = {Andersen, H.R. and Stirling, C. and Winskel, G.}, BookTitle = {Logic in Computer Science, 1994. LICS '94. Proceedings., Symposium on}, File = {A compositional proof system for the modal mu;-calculus - Andersen, Stirling, Winskel (0) (0) - a - a - r.pdf}, Keywords = {modal mu-calculus and proof theory}, Month = {jul}, Pages = {144 -153}, Title = {A compositional proof system for the modal mu;-calculus}, Year = {1994}, bdsk-url-1 = {http://dx.doi.org/10.1109/LICS.1994.316076}, date-added = {2013-01-30 17:29:55 +0000}, date-modified = {2013-01-30 17:30:27 +0000}, file-2 = {A compositional proof system for the modal mu;-calculus - Andersen, Stirling, Winskel (1) (0) - a - a - r.pdf}, doi = {10.1109/LICS.1994.316076} }