@chapter{JaninWalukiewicz,
    Author = {Janin, David and Walukiewicz, Igor},
    BookTitle = {CONCUR '96: Concurrency Theory},
    File = {On the expressive completeness of the propositional mu-calculus with respect to monadic second order logic - Janin, Walukiewicz (0) (0) - a - a - c.pdf},
    Pages = {263--277},
    Series = {Lecture Notes in Computer Science},
    Title = {On the expressive completeness of the propositional mu-calculus with respect to monadic second order logic},
    Volume = {1119},
    Year = {1996},
    bdsk-url-1 = {http://www.springerlink.com/content/y579335523h73g32/fulltext.pdf},
    bdsk-url-2 = {http://dx.doi.org/10.1007/3-540-61604-7\_60},
    date-added = {2012-05-22 20:53:45 +0200},
    date-modified = {2012-05-22 18:53:45 +0000},
    doi = {10.1007/3-540-61604-7_60}
}

@chapter{JaninWalukiewicz, Author = {Janin, David and Walukiewicz, Igor}, BookTitle = {CONCUR '96: Concurrency Theory}, File = {On the expressive completeness of the propositional mu-calculus with respect to monadic second order logic - Janin, Walukiewicz (0) (0) - a - a - c.pdf}, Pages = {263--277}, Series = {Lecture Notes in Computer Science}, Title = {On the expressive completeness of the propositional mu-calculus with respect to monadic second order logic}, Volume = {1119}, Year = {1996}, bdsk-url-1 = {http://www.springerlink.com/content/y579335523h73g32/fulltext.pdf}, bdsk-url-2 = {http://dx.doi.org/10.1007/3-540-61604-7_60}, date-added = {2012-05-22 20:53:45 +0200}, date-modified = {2012-05-22 18:53:45 +0000}, doi = {10.1007/3-540-61604-7_60} }