On the horizontal compression of dag-derivations in minimal purely implicational logic. - Edward Hermann Haeusler; José Flávio Cavalcante Barros Junior (CoRR, 2022)