On the complexity of practical ATL model checking - Van, Der Hoek W; Lomuscio, A; Wooldridge, M (2006)