@chapter{Walukiewicza,
    Author = {Walukiewicz, Igor},
    BookTitle = {STACS 96},
    File = {Monadic second order logic on tree-like structures - Walukiewicz (0) (0) - a - a - g.pdf},
    Keywords = {MSO},
    Pages = {399--413},
    Series = {Lecture Notes in Computer Science},
    Title = {Monadic second order logic on tree-like structures},
    Volume = {1046},
    Year = {1996},
    bdsk-url-1 = {http://www.springerlink.com/content/7831445k16745346/fulltext.pdf},
    bdsk-url-2 = {http://dx.doi.org/10.1007/3-540-60922-9\_33},
    date-added = {2012-05-19 08:11:35 +0200},
    date-modified = {2012-05-19 06:11:58 +0000},
    doi = {10.1007/3-540-60922-9_33}
}

@chapter{Walukiewicza, Author = {Walukiewicz, Igor}, BookTitle = {STACS 96}, File = {Monadic second order logic on tree-like structures - Walukiewicz (0) (0) - a - a - g.pdf}, Keywords = {MSO}, Pages = {399--413}, Series = {Lecture Notes in Computer Science}, Title = {Monadic second order logic on tree-like structures}, Volume = {1046}, Year = {1996}, bdsk-url-1 = {http://www.springerlink.com/content/7831445k16745346/fulltext.pdf}, bdsk-url-2 = {http://dx.doi.org/10.1007/3-540-60922-9_33}, date-added = {2012-05-19 08:11:35 +0200}, date-modified = {2012-05-19 06:11:58 +0000}, doi = {10.1007/3-540-60922-9_33} }