@misc{indiciaebd7d1fef0937,
  title = {Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops},
  author = {Markus Böck and Jürgen Cito},
  year = {2026},
  doi = {10.1145/3798223},
  url = {https://arxiv.org/abs/2508.20922},
  note = {Source identifier: 2508.20922}
}