Solving Equations on Discrete Dynamical Systems (Extended version) | Publicación