Fast and Accurate Strong Termination Analysis with an Application to Partial Evaluation | Publicación