@incollection{SalvatiWalukiewicz:FOSSACS15,
    Author = {Salvati, Sylvain and Walukiewicz, Igor},
    BookTitle = {Foundations of Software Science and Computation Structures},
    Editor = {Pitts, Andrew},
    File = {Salvati-Walukiewicz2015\_Chapter\_TypingWeakMSOLProperties (0) (0) - a - a - g.pdf},
    ISBN = {978-3-662-46677-3},
    Language = {English},
    Pages = {343-357},
    Publisher = {Springer Berlin Heidelberg},
    Series = {Lecture Notes in Computer Science},
    Title = {Typing Weak MSOL Properties},
    URL = {http://dx.doi.org/10.1007/978-3-662-46678-0\_22},
    Volume = {9034},
    Year = {2015},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-662-46678-0\_22},
    date-added = {2015-05-22 14:47:42 +0000},
    date-modified = {2015-05-22 14:47:42 +0000},
    doi = {10.1007/978-3-662-46678-0_22}
}

@incollection{SalvatiWalukiewicz:FOSSACS15, Author = {Salvati, Sylvain and Walukiewicz, Igor}, BookTitle = {Foundations of Software Science and Computation Structures}, Editor = {Pitts, Andrew}, File = {Salvati-Walukiewicz2015_Chapter_TypingWeakMSOLProperties (0) (0) - a - a - g.pdf}, ISBN = {978-3-662-46677-3}, Language = {English}, Pages = {343-357}, Publisher = {Springer Berlin Heidelberg}, Series = {Lecture Notes in Computer Science}, Title = {Typing Weak MSOL Properties}, URL = {http://dx.doi.org/10.1007/978-3-662-46678-0_22}, Volume = {9034}, Year = {2015}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-662-46678-0_22}, date-added = {2015-05-22 14:47:42 +0000}, date-modified = {2015-05-22 14:47:42 +0000}, doi = {10.1007/978-3-662-46678-0_22} }