@misc{indiciae329d6e768bcd,
  title = {An SMT Theory for n-Indexed Sequences},
  author = {Hichem Rami Ait El Hara and François Bobot and Guillaume Bury},
  year = {2024},
  url = {https://arxiv.org/abs/2411.07665},
  note = {Source identifier: 2411.07665}
}