On Satisfiability in ATL with Strategy Contexts | Publicación