Rules + strategies for transforming lazy functional logic programs | Publicación