Kurbis, N; (2021) Normalisation and subformula property for a system of intuitionistic logic with general introduction and elimination rules. Synthese 10.1007/s11229-021-03418-8. (In press).