@article{Greibach197927,
    Author = {Greibach, S.A.},
    File = {Linearity is polynomially decidable for realtime pushdown store automata - Greibach (0) (0) - a - a - n.pdf},
    ISSN = {0019-9958},
    Journal = {Information and Control},
    Number = {1},
    Pages = {27 - 37},
    Title = {Linearity is polynomially decidable for realtime pushdown store automata},
    URL = {http://www.sciencedirect.com/science/article/pii/S0019995879901347},
    Volume = {42},
    Year = {1979},
    bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S0019995879901347},
    bdsk-url-2 = {http://dx.doi.org/10.1016/S0019-9958(79)90134-7},
    date-added = {2014-01-29 12:09:24 +0000},
    date-modified = {2014-01-29 12:09:24 +0000},
    doi = {10.1016/S0019-9958(79)90134-7}
}

@article{Greibach197927, Author = {Greibach, S.A.}, File = {Linearity is polynomially decidable for realtime pushdown store automata - Greibach (0) (0) - a - a - n.pdf}, ISSN = {0019-9958}, Journal = {Information and Control}, Number = {1}, Pages = {27 - 37}, Title = {Linearity is polynomially decidable for realtime pushdown store automata}, URL = {http://www.sciencedirect.com/science/article/pii/S0019995879901347}, Volume = {42}, Year = {1979}, bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S0019995879901347}, bdsk-url-2 = {http://dx.doi.org/10.1016/S0019-9958(79)90134-7}, date-added = {2014-01-29 12:09:24 +0000}, date-modified = {2014-01-29 12:09:24 +0000}, doi = {10.1016/S0019-9958(79)90134-7} }