Removing redundant arguments of functions (2002)

by M Alpuente, S Escobar, S Lucas
Venue:9th International Conference on Algebraic Methodology And Software Technology (AMAST 2002), volume 2422 of LNCS