@misc{indiciaedbdcb7a60564,
  title = {Topological closure of formal power series ideals and application to topological rewriting theory},
  author = {Cyrille Chenavier and Thomas Cluzeau and Adya Musson-Leymarie},
  year = {2024},
  doi = {10.1016/j.jsc.2024.102416},
  url = {https://arxiv.org/abs/2402.05511},
  note = {Source identifier: 2402.05511}
}