1. M. Alpuente, S. Escobar, and S. Lucas. Redundant Arguments in Term Rewriting. In 9th Int'l Workshop on Functional and Logic Programming (WFLP2000), SPUPV 2000.2039, pages 309–323, 2000. 1,3,5.5
2. M. Alpuente, S. Escobar, and S. Lucas. Removing Redundant Arguments of Functions. In 9th International Conference on Algebraic Methodology And Software Technology, AMAST 2002, volume 2422 of LNCS, pages 117–131. Springer-Verlag, 2002, 1, 1, 1.1, 3, 3.1, 3.2, 3, 3.1, 4.2, 4, 4.9, 5.5, 5, 5.6, 6
3. Partial Evaluation of Functional Logic Programs;Alpuente;ACM Toplas,1998
4. T. Arts and J. Giesl. A collection of examples for termination of term rewriting using dependency pairs. Technical Report AIB-2001-09, RWTH Aachen, Germany, 2001. 5.6
5. Rewrite-based equational theorem proving with selection and simplification;Bachmair;Journal of Logic and Computation,1994