Reuse of Results in Termination Analysis of Typed Logic Programs | Publicación