Space consumption analysis by abstract interpretation: Reductivity properties | Publicación