@article{AlurMadhusudan:JACM:2009,
    Address = {New York, NY, USA},
    Author = {Alur, Rajeev and Madhusudan, P.},
    File = {Adding nesting structure to words - Alur, Madhusudan (0) (1) - a - a - q.pdf},
    ISSN = {0004-5411},
    Journal = {J. ACM},
    Keywords = {Pushdown automata, XML processing, software model checking, tree automata},
    Month = {May},
    Number = {3},
    Pages = {16:1--16:43},
    Publisher = {ACM},
    Title = {Adding nesting structure to words},
    URL = {http://doi.acm.org/10.1145/1516512.1516518},
    Volume = {56},
    Year = {2009},
    acmid = {1516518},
    articleno = {16},
    bdsk-url-1 = {http://doi.acm.org/10.1145/1516512.1516518},
    bdsk-url-2 = {http://dx.doi.org/10.1145/1516512.1516518},
    date-added = {2013-01-22 14:58:01 +0000},
    date-modified = {2017-02-09 10:20:32 +0000},
    file-2 = {Adding nesting structure to words - Alur, Madhusudan (1) (1) - a - a - q.pdf},
    issue_date = {May 2009},
    numpages = {43},
    doi = {10.1145/1516512.1516518}
}

@article{AlurMadhusudan:JACM:2009, Address = {New York, NY, USA}, Author = {Alur, Rajeev and Madhusudan, P.}, File = {Adding nesting structure to words - Alur, Madhusudan (0) (1) - a - a - q.pdf}, ISSN = {0004-5411}, Journal = {J. ACM}, Keywords = {Pushdown automata, XML processing, software model checking, tree automata}, Month = {May}, Number = {3}, Pages = {16:1--16:43}, Publisher = {ACM}, Title = {Adding nesting structure to words}, URL = {http://doi.acm.org/10.1145/1516512.1516518}, Volume = {56}, Year = {2009}, acmid = {1516518}, articleno = {16}, bdsk-url-1 = {http://doi.acm.org/10.1145/1516512.1516518}, bdsk-url-2 = {http://dx.doi.org/10.1145/1516512.1516518}, date-added = {2013-01-22 14:58:01 +0000}, date-modified = {2017-02-09 10:20:32 +0000}, file-2 = {Adding nesting structure to words - Alur, Madhusudan (1) (1) - a - a - q.pdf}, issue_date = {May 2009}, numpages = {43}, doi = {10.1145/1516512.1516518} }