@misc{indiciae9a3a7fe01e74,
  title = {A Correct Algorithm for Identifying Independent Variable Sets in Reactive Systems},
  author = {Josu Oca and Montserrat Hermo and Alexander Bolotov},
  year = {2026},
  url = {https://arxiv.org/abs/2307.00540},
  note = {Source identifier: 2307.00540}
}