@misc{indiciaee5317c10a723,
  title = {Parameterized Reachability for Register Machines with Data},
  author = {Parosh Aziz Abdulla and Mohammed Faouzi Atig and Abhijith R Nair and K Narayan Kumar and Prakash Saivasan},
  year = {2026},
  url = {https://arxiv.org/abs/2610.08009},
  note = {Source identifier: 2610.08009}
}