Mendler, MichaelMichaelMendlerScheele, StephanStephanScheele0000-0003-0787-31812019-09-192014-04-3020110890-5401https://fis.uni-bamberg.de/handle/uniba/5451engCut-free Gentzen Calculus for Multimodal CKarticlehttp://www.sciencedirect.com/science/article/pii/S0890540111001404