TY  - RPRT
TI  - Satisfiability of ATL with strategy contexts
AU  - François Laroussinie
AU  - Nicolas Markey
PY  - 2013
DO  - 10.4204/eptcs.119.18
UR  - https://arxiv.org/abs/1307.4478
ID  - 1307.4478
ER  -