Kürbis, Nils; (2021) Normalisation and Subformula Property for a System of Intuitionistic Logic with General Introduction and Elimination Rules. CoRR , abs , Article 2108.05842. 10.48550/arXiv.2110.09921.