Amélie David. TATL: Implementation of ATL tableau-based decision procedure.
22nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2013), Sep 2013, Nancy, France. pp.97--103,
⟨10.1007/978-3-642-40537-2_10⟩.
⟨hal-00880284⟩