Serenella Cerrito, Amélie David, Valentin Goranko. Optimal Tableau Method for Constructive Satisfiability Testing and Model Synthesis in the Alternating-Time Temporal Logic ATL+.
ACM Transactions on Computational Logic, Association for Computing Machinery, 2015, 17 (1), pp.Article number 4.
⟨10.1145/2811261⟩.
⟨hal-01261206⟩