Sęp Krzysztof

Algorithm SBT in Argument Reduction