Schiffel, S. and Thielscher, M. (2011) “Reasoning About General Games Described in GDL-II”, Proceedings of the AAAI Conference on Artificial Intelligence, 25(1), pp. 846-851. doi: 10.1609/aaai.v25i1.7944.