Cut-free labelled calculi and decidability for intuitionistic sentential logic with identity. - Galmiche, Didier; Hornbeck, Brandon; Méry, Daniel (Journal of Logic & Computation, 2025)