@incollection{montanari:puppis:04,
    Author = {Montanari, Angelo and Puppis, Gabriele},
    BookTitle = {FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science},
    Editor = {Lodaya, Kamal and Mahajan, Meena},
    File = {../.Trash/Decidability of MSO Theories of Tree Structures - Montanari, Puppis (0) (0).pdf},
    ISBN = {978-3-540-24058-7},
    Pages = {434-446},
    Publisher = {Springer Berlin Heidelberg},
    Series = {Lecture Notes in Computer Science},
    Title = {Decidability of MSO Theories of Tree Structures},
    URL = {http://dx.doi.org/10.1007/978-3-540-30538-5\_36},
    Volume = {3328},
    Year = {2004},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-540-30538-5\_36},
    date-added = {2013-12-23 11:10:34 +0000},
    date-modified = {2013-12-23 11:10:59 +0000},
    doi = {10.1007/978-3-540-30538-5_36}
}

@incollection{montanari:puppis:04, Author = {Montanari, Angelo and Puppis, Gabriele}, BookTitle = {FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science}, Editor = {Lodaya, Kamal and Mahajan, Meena}, File = {../.Trash/Decidability of MSO Theories of Tree Structures - Montanari, Puppis (0) (0).pdf}, ISBN = {978-3-540-24058-7}, Pages = {434-446}, Publisher = {Springer Berlin Heidelberg}, Series = {Lecture Notes in Computer Science}, Title = {Decidability of MSO Theories of Tree Structures}, URL = {http://dx.doi.org/10.1007/978-3-540-30538-5_36}, Volume = {3328}, Year = {2004}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-540-30538-5_36}, date-added = {2013-12-23 11:10:34 +0000}, date-modified = {2013-12-23 11:10:59 +0000}, doi = {10.1007/978-3-540-30538-5_36} }