@article{Okhotin:2015:DCU:2802872.2803127,
    Address = {Essex, UK},
    Author = {Okhotin, Alexander and Salomaa, Kai},
    File = {1-s2.0-S0304397514008585-main (0) - a - a - t.pdf},
    ISSN = {0304-3975},
    Journal = {Theor. Comput. Sci.},
    Keywords = {Descriptional complexity, Input-driven pushdown, Nested word automata, Nondeterminism, Unambiguity, Visibly pushdown automata},
    Month = {February},
    Number = {C},
    Pages = {1--11},
    Publisher = {Elsevier Science Publishers Ltd.},
    Title = {Descriptional Complexity of Unambiguous Input-driven Pushdown Automata},
    URL = {http://dx.doi.org/10.1016/j.tcs.2014.11.015},
    Volume = {566},
    Year = {2015},
    acmid = {2803127},
    bdsk-url-1 = {http://dx.doi.org/10.1016/j.tcs.2014.11.015},
    date-added = {2018-06-08 12:03:25 +0000},
    date-modified = {2018-06-08 12:03:25 +0000},
    issue_date = {February 2015},
    numpages = {11},
    doi = {10.1016/j.tcs.2014.11.015}
}

@article{Okhotin:2015:DCU:2802872.2803127, Address = {Essex, UK}, Author = {Okhotin, Alexander and Salomaa, Kai}, File = {1-s2.0-S0304397514008585-main (0) - a - a - t.pdf}, ISSN = {0304-3975}, Journal = {Theor. Comput. Sci.}, Keywords = {Descriptional complexity, Input-driven pushdown, Nested word automata, Nondeterminism, Unambiguity, Visibly pushdown automata}, Month = {February}, Number = {C}, Pages = {1--11}, Publisher = {Elsevier Science Publishers Ltd.}, Title = {Descriptional Complexity of Unambiguous Input-driven Pushdown Automata}, URL = {http://dx.doi.org/10.1016/j.tcs.2014.11.015}, Volume = {566}, Year = {2015}, acmid = {2803127}, bdsk-url-1 = {http://dx.doi.org/10.1016/j.tcs.2014.11.015}, date-added = {2018-06-08 12:03:25 +0000}, date-modified = {2018-06-08 12:03:25 +0000}, issue_date = {February 2015}, numpages = {11}, doi = {10.1016/j.tcs.2014.11.015} }