1. Luc Albert, Rafael Casas, François Fages Average-Case Analysis of Unification Algorithms Theoretical Computer Science 113(1) (1993), 3–34.
2. Rafael Casas, Jean-Marc Steyaert Bottom-Up Recursion in Trees in Proceedings of CAAP’86, Lecture Notes in Computer Science 214 (1986), 172–182.
3. Rafael Casas, María-Inés Fernández-Camacho, Jean-Marc Steyaert Algebraic Simplification in Computer Algebra: an Analysis of Bottom-Up Algorithms Theoretical Computer Science 74 (1990), 273–298.
4. Christine Choppy, Stéphane Kaplan, Michèle Soria Complexity Analysis of Term Rewriting Systems Theoretical Computer Science 67 (1989), 261–282.
5. Michael Drmota Asymptotic distributions and a multivariate Darboux method in enumeration problems Journal of Combinatorial Theory, Series A 67 (1994), 169–184.