@misc{indiciae94c0713dc9b5,
  title = {Interpreting Knowledge-based Programs (Extended Version with Proofs)},
  author = {Alexander Knapp and Heribert Mühlberger and Bernhard Reus},
  year = {2023},
  url = {https://arxiv.org/abs/2301.10807},
  note = {Source identifier: 2301.10807}
}