@misc{indiciae52bd48a1ff89,
  title = {Technical Report with Proofs for A Full Picture in Conformance Checking: Efficiently Summarizing All Optimal Alignments},
  author = {Philipp Bär and Moe T. Wynn and Sander J. J. Leemans},
  year = {2025},
  url = {https://arxiv.org/abs/2506.10345},
  note = {Source identifier: 2506.10345}
}