@article{Harel:1994:DES:185090.185114,
    Address = {Duluth, MN, USA},
    Author = {Harel, David and Raz, Danny},
    File = {Deciding emptiness for stack automata on infinite trees - Harel, Raz (0) (0) - a - a - n.pdf},
    ISSN = {0890-5401},
    Journal = {Inf. Comput.},
    Keywords = {stack automata and tree automata},
    Month = {September},
    Number = {2},
    Pages = {278--299},
    Publisher = {Academic Press, Inc.},
    Title = {Deciding emptiness for stack automata on infinite trees},
    URL = {http://dx.doi.org/10.1006/inco.1994.1073},
    Volume = {113},
    Year = {1994},
    acmid = {185114},
    bdsk-url-1 = {http://dx.doi.org/10.1006/inco.1994.1073},
    date-added = {2013-07-22 16:35:13 +0000},
    date-modified = {2013-07-22 16:36:23 +0000},
    issue_date = {Sept. 1994},
    numpages = {22},
    doi = {10.1006/inco.1994.1073}
}

@article{Harel:1994:DES:185090.185114, Address = {Duluth, MN, USA}, Author = {Harel, David and Raz, Danny}, File = {Deciding emptiness for stack automata on infinite trees - Harel, Raz (0) (0) - a - a - n.pdf}, ISSN = {0890-5401}, Journal = {Inf. Comput.}, Keywords = {stack automata and tree automata}, Month = {September}, Number = {2}, Pages = {278--299}, Publisher = {Academic Press, Inc.}, Title = {Deciding emptiness for stack automata on infinite trees}, URL = {http://dx.doi.org/10.1006/inco.1994.1073}, Volume = {113}, Year = {1994}, acmid = {185114}, bdsk-url-1 = {http://dx.doi.org/10.1006/inco.1994.1073}, date-added = {2013-07-22 16:35:13 +0000}, date-modified = {2013-07-22 16:36:23 +0000}, issue_date = {Sept. 1994}, numpages = {22}, doi = {10.1006/inco.1994.1073} }