1. Bisimilarity in term graph rewriting;Ariola;Inf. Comput.,2000
2. The complexity of partial derivatives;Baur;Theoretical Computer Science,1983
3. Bischof, C.H., P.D. Hovland and B. Norris, Implementation of automatic differentiation tools, Higher-Order and Symbolic Computation (2006), to appear
4. On automatic differentiation;Griewank,1989
5. Evaluating Derivatives: Principles and Techniques of Algorithmic Differentiation;Griewank,2000