TY  - RPRT
TI  - Alternating-time temporal logic with finite-memory strategies
AU  - Steen Vester
PY  - 2013
DO  - 10.4204/eptcs.119.17
UR  - https://arxiv.org/abs/1307.4476
ID  - 1307.4476
ER  -