TY  - RPRT
TI  - Optimal Tableaux Method for Constructive Satisfiability Testing and Model Synthesis in the Alternating-time Temporal Logic ATL+
AU  - Serenella Cerrito
AU  - Amélie David
AU  - Valentin Goranko
PY  - 2015
DO  - 10.1007/978-3-319-08587-6_21
UR  - https://arxiv.org/abs/1407.4645
ID  - 1407.4645
ER  -