Serenella Cerrito, Amélie David, Valentin Goranko. Optimal tableaux-based decision procedure for testing satisfiability in the alternating-time temporal logic ATL+.
7th International Joint Conference on Automated Reasoning (IJCAR 2014), Jul 2014, Vienna, Austria. pp.277--291,
⟨10.1007/978-3-319-08587-6_21⟩.
⟨hal-01054932⟩