@inproceedings{Alur:2006:BPT:2092928.2092967,
    Address = {Berlin, Heidelberg},
    Author = {Alur, Rajeev and Chaudhuri, Swarat},
    BookTitle = {Proceedings of the 26th international conference on Foundations of Software Technology and Theoretical Computer Science},
    File = {Branching pushdown tree automata - Alur, Chaudhuri (0) (0) - a - a - m.pdf},
    ISBN = {3-540-49994-6, 978-3-540-49994-7},
    Keywords = {tree-pushdown automata},
    Location = {Kolkata, India},
    Pages = {393--404},
    Publisher = {Springer-Verlag},
    Series = {FSTTCS'06},
    Title = {Branching pushdown tree automata},
    URL = {http://dx.doi.org/10.1007/11944836\_36},
    Year = {2006},
    acmid = {2092967},
    bdsk-url-1 = {http://dx.doi.org/10.1007/11944836\_36},
    date-added = {2012-10-15 13:29:34 +0000},
    date-modified = {2012-10-26 08:54:10 +0000},
    numpages = {12},
    doi = {10.1007/11944836_36}
}

@inproceedings{Alur:2006:BPT:2092928.2092967, Address = {Berlin, Heidelberg}, Author = {Alur, Rajeev and Chaudhuri, Swarat}, BookTitle = {Proceedings of the 26th international conference on Foundations of Software Technology and Theoretical Computer Science}, File = {Branching pushdown tree automata - Alur, Chaudhuri (0) (0) - a - a - m.pdf}, ISBN = {3-540-49994-6, 978-3-540-49994-7}, Keywords = {tree-pushdown automata}, Location = {Kolkata, India}, Pages = {393--404}, Publisher = {Springer-Verlag}, Series = {FSTTCS'06}, Title = {Branching pushdown tree automata}, URL = {http://dx.doi.org/10.1007/11944836_36}, Year = {2006}, acmid = {2092967}, bdsk-url-1 = {http://dx.doi.org/10.1007/11944836_36}, date-added = {2012-10-15 13:29:34 +0000}, date-modified = {2012-10-26 08:54:10 +0000}, numpages = {12}, doi = {10.1007/11944836_36} }