@article{HO2010,
  title = "A Saturation Method for the Modal Mu-Calculus over Pushdown Systems",
  author = "M. Hague and C.-H. L. Ong",
  year = "2010",
  journal = "Information and Computation",
  note = "CONCUR special issue.",
  doi = "10.1016/j.ic.2010.12.004",
}