Schiffel, S.; Thielscher, M. Reasoning About General Games Described in GDL-II. AAAI 2011, 25, 846-851.