TY  - RPRT
TI  - Reasoning about Strategies: on the Satisfiability Problem
AU  - Fabio Mogavero
AU  - Aniello Murano
AU  - Giuseppe Perelli
AU  - Moshe Y. Vardi
PY  - 2017
DO  - 10.23638/lmcs-13(1:9)2017
UR  - https://arxiv.org/abs/1611.08541
ID  - 1611.08541
ER  -