@article{HagueOng:SaturationPDS:IC2011,
    Author = {Hague, M. and Ong, C.-H.L.},
    File = {A saturation method for the modal mu-calculus over pushdown systems - Hague, Ong (0) (0) - a - a - v.pdf},
    ISSN = {0890-5401},
    Journal = {Inform. and Comput.},
    Keywords = {model checking and pushdown automata and saturation method},
    Month = {May},
    Number = {5},
    Pages = {799 - 821},
    Title = {A saturation method for the modal mu-calculus over pushdown systems},
    URL = {http://www.sciencedirect.com/science/article/pii/S0890540110002178},
    Volume = {209},
    Year = {2011},
    bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S0890540110002178},
    bdsk-url-2 = {http://dx.doi.org/10.1016/j.ic.2010.12.004},
    date-added = {2012-03-08 10:33:03 +0100},
    date-modified = {2015-02-15 21:24:23 +0000},
    doi = {10.1016/j.ic.2010.12.004}
}

@article{HagueOng:SaturationPDS:IC2011, Author = {Hague, M. and Ong, C.-H.L.}, File = {A saturation method for the modal mu-calculus over pushdown systems - Hague, Ong (0) (0) - a - a - v.pdf}, ISSN = {0890-5401}, Journal = {Inform. and Comput.}, Keywords = {model checking and pushdown automata and saturation method}, Month = {May}, Number = {5}, Pages = {799 - 821}, Title = {A saturation method for the modal mu-calculus over pushdown systems}, URL = {http://www.sciencedirect.com/science/article/pii/S0890540110002178}, Volume = {209}, Year = {2011}, bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S0890540110002178}, bdsk-url-2 = {http://dx.doi.org/10.1016/j.ic.2010.12.004}, date-added = {2012-03-08 10:33:03 +0100}, date-modified = {2015-02-15 21:24:23 +0000}, doi = {10.1016/j.ic.2010.12.004} }