@misc{indiciae9bf84f7d4d85, title = {Decidability and Complexity in Weakening and Contraction Hypersequent Substructural Logics}, author = {A. R. Balasubramanian and Timo Lang and Revantha Ramanayake}, year = {2021}, url = {https://arxiv.org/abs/2104.09716}, note = {Source identifier: 2104.09716} }