@inproceedings{van_der_Hoek_2006,
    doi = {10.1145/1160633.1160665},
    url = {https://doi.org/10.1145%2F1160633.1160665},
    year = {2006},
    month = {may},
    publisher = {{ACM}},
    author = {Wiebe van der Hoek and Alessio Lomuscio and Michael Wooldridge},
    title = {On the complexity of practical {ATL} model checking},
    booktitle = {Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems}
}

@inproceedings{van_der_Hoek_2006, doi = {10.1145/1160633.1160665}, url = {https://doi.org/10.1145%2F1160633.1160665}, year = {2006}, month = {may}, publisher = {{ACM}}, author = {Wiebe van der Hoek and Alessio Lomuscio and Michael Wooldridge}, title = {On the complexity of practical {ATL} model checking}, booktitle = {Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems} }