@article{Winskel1991157,
    Author = {Winskel, Glynn},
    File = {A note on model checking the modal nu-calculus - Winskel (0) (0) - a - a - i.pdf},
    ISSN = {0304-3975},
    Journal = {Theoretical Computer Science},
    Keywords = {modal mu-calculus},
    Number = {1},
    Pages = {157 - 167},
    Title = {A note on model checking the modal nu-calculus},
    URL = {http://www.sciencedirect.com/science/article/pii/0304397591900432},
    Volume = {83},
    Year = {1991},
    bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/0304397591900432},
    bdsk-url-2 = {http://dx.doi.org/10.1016/0304-3975(91)90043-2},
    date-added = {2013-01-30 17:37:36 +0000},
    date-modified = {2013-01-30 17:37:48 +0000},
    doi = {10.1016/0304-3975(91)90043-2}
}

@article{Winskel1991157, Author = {Winskel, Glynn}, File = {A note on model checking the modal nu-calculus - Winskel (0) (0) - a - a - i.pdf}, ISSN = {0304-3975}, Journal = {Theoretical Computer Science}, Keywords = {modal mu-calculus}, Number = {1}, Pages = {157 - 167}, Title = {A note on model checking the modal nu-calculus}, URL = {http://www.sciencedirect.com/science/article/pii/0304397591900432}, Volume = {83}, Year = {1991}, bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/0304397591900432}, bdsk-url-2 = {http://dx.doi.org/10.1016/0304-3975(91)90043-2}, date-added = {2013-01-30 17:37:36 +0000}, date-modified = {2013-01-30 17:37:48 +0000}, doi = {10.1016/0304-3975(91)90043-2} }