@inproceedings{Libkin:2005:LUT:2104063.2104068,
    Address = {Berlin, Heidelberg},
    Author = {Libkin, Leonid},
    BookTitle = {Proceedings of the 32nd international conference on Automata, Languages and Programming},
    File = {Logics for unranked trees an overview - Libkin (0) (0) - a - a - w.pdf},
    ISBN = {3-540-27580-0, 978-3-540-27580-0},
    Keywords = {tree automata and survey},
    Location = {Lisbon, Portugal},
    Pages = {35--50},
    Publisher = {Springer-Verlag},
    Series = {ICALP'05},
    Title = {Logics for unranked trees: an overview},
    URL = {http://dx.doi.org/10.1007/11523468\_4},
    Year = {2005},
    acmid = {2104068},
    bdsk-url-1 = {http://dx.doi.org/10.1007/11523468\_4},
    date-added = {2013-07-15 18:45:36 +0000},
    date-modified = {2013-07-15 18:46:34 +0000},
    file-2 = {Logics for unranked trees an overview - Libkin (2) (0) - a - a - w.pdf},
    file-3 = {Logics for unranked trees an overview - Libkin (1) (0) - a - a - w.pdf},
    numpages = {16},
    doi = {10.1007/11523468_4}
}

@inproceedings{Libkin:2005:LUT:2104063.2104068, Address = {Berlin, Heidelberg}, Author = {Libkin, Leonid}, BookTitle = {Proceedings of the 32nd international conference on Automata, Languages and Programming}, File = {Logics for unranked trees an overview - Libkin (0) (0) - a - a - w.pdf}, ISBN = {3-540-27580-0, 978-3-540-27580-0}, Keywords = {tree automata and survey}, Location = {Lisbon, Portugal}, Pages = {35--50}, Publisher = {Springer-Verlag}, Series = {ICALP'05}, Title = {Logics for unranked trees: an overview}, URL = {http://dx.doi.org/10.1007/11523468_4}, Year = {2005}, acmid = {2104068}, bdsk-url-1 = {http://dx.doi.org/10.1007/11523468_4}, date-added = {2013-07-15 18:45:36 +0000}, date-modified = {2013-07-15 18:46:34 +0000}, file-2 = {Logics for unranked trees an overview - Libkin (2) (0) - a - a - w.pdf}, file-3 = {Logics for unranked trees an overview - Libkin (1) (0) - a - a - w.pdf}, numpages = {16}, doi = {10.1007/11523468_4} }