Reasoning about equilibria in game-like concurrent systems - Gutierrez, J; Harrenstein, P; Wooldridge, M (Proceedings of the Fourteenth International Conference on Principles of Knowledge Representation and Reasoning, 2014)