@misc{indiciae60037bff0d35,
  title = {Distributed Autoepistemic Logic: Semantics, Complexity, and Applications to Access Control},
  author = {Marcos Cramer and Pieter Van Hertum and Bart Bogaerts and Marc Denecker},
  year = {2023},
  url = {https://arxiv.org/abs/2306.02774},
  note = {Source identifier: 2306.02774}
}