@misc{indiciaee29f3875ab3d,
  title = {Solvable Tuple Patterns and Their Applications to Program Verification},
  author = {Naoki Kobayashi and Ryosuke Sato and Ayumi Shinohara and Ryo Yoshinaka},
  year = {2026},
  doi = {10.1145/3808258},
  url = {https://arxiv.org/abs/2508.20365},
  note = {Source identifier: 2508.20365}
}