@inproceedings{CharatonikMcAllesterNiwinskiPodelskiWalukiewicz,
    Author = {Charatonik, W. and McAllester, D. and Niwinski, D. and Podelski, A. and Walukiewicz, I.},
    BookTitle = {Logic in Computer Science, 1998. Proceedings. Thirteenth Annual IEEE Symposium on},
    File = {The Horn mu-calculus - Charatonik, McAllester, Niwinski, Podelski, Walukiewicz (0) (0) - a - a - g.pdf},
    ISSN = {1043-6871},
    Keywords = {modal mu-calculus and logic programming},
    Pages = {58-69},
    Title = {The Horn mu-calculus},
    Year = {1998},
    bdsk-url-1 = {http://dx.doi.org/10.1109/LICS.1998.705643},
    date-added = {2013-04-08 08:56:53 +0000},
    date-modified = {2013-04-08 08:57:17 +0000},
    doi = {10.1109/LICS.1998.705643}
}

@inproceedings{CharatonikMcAllesterNiwinskiPodelskiWalukiewicz, Author = {Charatonik, W. and McAllester, D. and Niwinski, D. and Podelski, A. and Walukiewicz, I.}, BookTitle = {Logic in Computer Science, 1998. Proceedings. Thirteenth Annual IEEE Symposium on}, File = {The Horn mu-calculus - Charatonik, McAllester, Niwinski, Podelski, Walukiewicz (0) (0) - a - a - g.pdf}, ISSN = {1043-6871}, Keywords = {modal mu-calculus and logic programming}, Pages = {58-69}, Title = {The Horn mu-calculus}, Year = {1998}, bdsk-url-1 = {http://dx.doi.org/10.1109/LICS.1998.705643}, date-added = {2013-04-08 08:56:53 +0000}, date-modified = {2013-04-08 08:57:17 +0000}, doi = {10.1109/LICS.1998.705643} }