Symbolic Analysis by Using Folding Narrowing with Irreducibility and SMT Constraints | Publicación