@misc{indiciae1b753babfad5,
  title = {An Algorithmic Pipeline for Solving Equations over Discrete Dynamical Systems Modelling Hypothesis on Real Phenomena},
  author = {Alberto Dennunzio and Enrico Formenti and Luciano Margara and Sara Riva},
  year = {2022},
  url = {https://arxiv.org/abs/2211.05038},
  note = {Source identifier: 2211.05038}
}