Controlling the Size of Supercompiled Programs using Multi-result Supercompilation. - Dimitur Krustev (CoRR, 2020)