S. Schiffel and M. Thielscher, “Reasoning About General Games Described in GDL-II”, AAAI, vol. 25, no. 1, pp. 846-851, Aug. 2011.