TY - RPRT TI - Representing and Reasoning about Game Strategies AU - Dongmo Zhang AU - Michael Thielsher PY - 2014 UR - https://arxiv.org/abs/1407.5380 ID - 1407.5380 ER -