A program transformation for returning states in functional-logic programs | Publicación