Modelling Multiplicative Linear Logic via Deep Inference. - Tomer Galor; Andrea Schalk (CoRR, 2024)