@misc{indiciae688ebfe81421,
  title = {State-witness contraction},
  author = {Albert Rico},
  year = {2025},
  doi = {10.1103/d6q5-k7sh},
  url = {https://arxiv.org/abs/2502.17697},
  note = {Source identifier: 2502.17697}
}