@article{MSC:2399576,
    Author = {F{\"A}HNDRICH, MANUEL and REHOF, JAKOB},
    ISSN = {1469-8072},
    Issue = {Special Issue 05},
    Journal = {Mathematical Structures in Computer Science},
    Month = {10},
    Pages = {823--894},
    Title = {Type-based flow analysis and context-free language reachability},
    URL = {http://journals.cambridge.org/article\_S0960129508006968},
    Volume = {18},
    Year = {2008},
    bdsk-url-1 = {http://journals.cambridge.org/article\_S0960129508006968},
    bdsk-url-2 = {http://dx.doi.org/10.1017/S0960129508006968},
    date-added = {2014-01-02 16:35:38 +0000},
    date-modified = {2014-01-02 16:35:38 +0000},
    numpages = {72},
    doi = {10.1017/S0960129508006968}
}

@article{MSC:2399576, Author = {F{\"A}HNDRICH, MANUEL and REHOF, JAKOB}, ISSN = {1469-8072}, Issue = {Special Issue 05}, Journal = {Mathematical Structures in Computer Science}, Month = {10}, Pages = {823--894}, Title = {Type-based flow analysis and context-free language reachability}, URL = {http://journals.cambridge.org/article_S0960129508006968}, Volume = {18}, Year = {2008}, bdsk-url-1 = {http://journals.cambridge.org/article_S0960129508006968}, bdsk-url-2 = {http://dx.doi.org/10.1017/S0960129508006968}, date-added = {2014-01-02 16:35:38 +0000}, date-modified = {2014-01-02 16:35:38 +0000}, numpages = {72}, doi = {10.1017/S0960129508006968} }