Extra Variables Can Be Eliminated from Functional Logic Programs | Publicación