@misc{indiciae680f8875be04,
  title = {From Probability to Counterfactuals: the Increasing Complexity of Satisfiability in Pearl's Causal Hierarchy},
  author = {Julian Dörfler and Benito van der Zander and Markus Bläser and Maciej Liskiewicz},
  year = {2025},
  url = {https://arxiv.org/abs/2405.07373},
  note = {Source identifier: 2405.07373}
}