Reasoning about equilibria in game-like concurrent systems - Gutierrez, J; Harrenstein, P; Wooldridge, M (Annals of Pure and Applied Logic, 2016)