@article{doi:10.1142/S0129054195000123,
    Author = {Peng, Wuxu and Iyer, S. Purushothaman},
    EPrint = {http://www.worldscientific.com/doi/pdf/10.1142/S0129054195000123},
    File = {A new type of pushdown automata on infinite trees - Peng, Iyer (0) (0) - a - a - q.pdf},
    Journal = {International Journal of Foundations of Computer Science},
    Keywords = {tree-pushdown automata},
    Number = {02},
    Pages = {169-186},
    Title = {A new type of pushdown automata on infinite trees},
    URL = {http://www.worldscientific.com/doi/abs/10.1142/S0129054195000123},
    Volume = {06},
    Year = {1995},
    bdsk-url-1 = {http://www.worldscientific.com/doi/abs/10.1142/S0129054195000123},
    bdsk-url-2 = {http://dx.doi.org/10.1142/S0129054195000123},
    date-added = {2012-10-16 12:40:24 +0000},
    date-modified = {2012-10-26 08:42:58 +0000},
    doi = {10.1142/S0129054195000123}
}

@article{doi:10.1142/S0129054195000123, Author = {Peng, Wuxu and Iyer, S. Purushothaman}, EPrint = {http://www.worldscientific.com/doi/pdf/10.1142/S0129054195000123}, File = {A new type of pushdown automata on infinite trees - Peng, Iyer (0) (0) - a - a - q.pdf}, Journal = {International Journal of Foundations of Computer Science}, Keywords = {tree-pushdown automata}, Number = {02}, Pages = {169-186}, Title = {A new type of pushdown automata on infinite trees}, URL = {http://www.worldscientific.com/doi/abs/10.1142/S0129054195000123}, Volume = {06}, Year = {1995}, bdsk-url-1 = {http://www.worldscientific.com/doi/abs/10.1142/S0129054195000123}, bdsk-url-2 = {http://dx.doi.org/10.1142/S0129054195000123}, date-added = {2012-10-16 12:40:24 +0000}, date-modified = {2012-10-26 08:42:58 +0000}, doi = {10.1142/S0129054195000123} }