X. Huang and R. van der Meyden, “Symbolic Model Checking Epistemic Strategy Logic”, AAAI, vol. 28, no. 1, Jun. 2014.