TY - RPRT TI - An Algorithmic Pipeline for Solving Equations over Discrete Dynamical Systems Modelling Hypothesis on Real Phenomena AU - Alberto Dennunzio AU - Enrico Formenti AU - Luciano Margara AU - Sara Riva PY - 2022 UR - https://arxiv.org/abs/2211.05038 ID - 2211.05038 ER -