Efficient Reductants Calculi using Partial Evaluation Techniques with Thresholding | Publicación