T. Chen, F. Song, and Z. Wu, “Global Model Checking on Pushdown Multi-Agent Systems”, AAAI, vol. 30, no. 1, Mar. 2016.