María Alpuente Santiago Escobar Salvador Lucas Removing Redundant Arguments of Functions. 117-131 2002 conf/amast/2002 AMAST http://link.springer.de/link/service/series/0558/bibs/2422/24220117.htm db/conf/amast/amast2002.html#AlpuenteEL02