Deciding $$\mathsf {ATL^*}$$ Satisfiability by Tableaux

From MaRDI portal
Publication:3454093