@misc{indiciae44ef31aed0d2,
  title = {SAT-Based ATL Satisfiability Checking},
  author = {Magdalena Kacprzak and Artur Niewiadomski and Wojciech Penczek},
  year = {2020},
  url = {https://arxiv.org/abs/2002.03117},
  note = {Source identifier: 2002.03117}
}