From model checking to equilibrium checking: reactive modules for rational verification - Gutierrez, J; Harrenstein, B; Wooldridge, M (Artificial Intelligence, 2017)