An improved reductant calculus using fuzzy partial evaluation techniques | Publicación