@article{Gutierrez_2017,
    doi = {10.1016/j.artint.2017.04.003},
    url = {https://doi.org/10.1016%2Fj.artint.2017.04.003},
    year = {2017},
    month = {jul},
    publisher = {Elsevier {BV}},
    volume = {248},
    pages = {123--157},
    author = {Julian Gutierrez and Paul Harrenstein and Michael Wooldridge},
    title = {From model checking to equilibrium checking: Reactive modules for rational verification},
    journal = {Artificial Intelligence}
}

@article{Gutierrez_2017, doi = {10.1016/j.artint.2017.04.003}, url = {https://doi.org/10.1016%2Fj.artint.2017.04.003}, year = {2017}, month = {jul}, publisher = {Elsevier {BV}}, volume = {248}, pages = {123--157}, author = {Julian Gutierrez and Paul Harrenstein and Michael Wooldridge}, title = {From model checking to equilibrium checking: Reactive modules for rational verification}, journal = {Artificial Intelligence} }