@misc{indiciaedcbcd4c52f32,
  title = {Model-checking in the Foundations of Algorithmic Law and the Case of Regulation 561},
  author = {Moritz Müller and Joost J. Joosten},
  year = {2023},
  url = {https://arxiv.org/abs/2307.05658},
  note = {Source identifier: 2307.05658}
}