Michael Leuschel, Salvador Tamarit, Germán Vidal. Fast and Accurate Strong Termination Analysis with an Application to Partial Evaluation. In Santiago Escobar, editor, Functional and Constraint Logic Programming, 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers. Volume 5979 of Lecture Notes in Computer Science, pages 111-127, Springer, 2009. [doi]
Abstract is missing.