Approximation Algorithm for the Argument Reduction Problem. - Piotr Kulaga; Piotr Sapiecha; Krzysztof Sep (CORES, 2005)