Forward slicing of functional logic programs by partial evaluation | Publicación