TY  - RPRT
TI  - A Saturation Method for the Modal Mu-Calculus with Backwards Modalities over Pushdown Systems
AU  - M. Hague
AU  - C. -H. L. Ong
PY  - 2010
UR  - https://arxiv.org/abs/1006.5906
ID  - 1006.5906
ER  -