@misc{indiciaeeb2caf204cc8,
  title = {Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics},
  author = {Tim Lyon and Kees van Berkel},
  year = {2020},
  doi = {10.1007/978-3-030-33792-6\_13},
  url = {https://arxiv.org/abs/1908.11360},
  note = {Source identifier: 1908.11360}
}