@misc{indiciae311d65207589,
  title = {Causality-Based Game Solving},
  author = {Christel Baier and Norine Coenen and Bernd Finkbeiner and Florian Funke and Simon Jantsch and Julian Siber},
  year = {2021},
  url = {https://arxiv.org/abs/2105.14247},
  note = {Source identifier: 2105.14247}
}