Failure of cut-elimination in cyclic-proof systems of logic of bunched implications with inductive propositions. - Kenji Saotome; Koji Nakazawa; Daisuke Kimura; Ayumu Kawasaki (Arch. Math. Log., 2026)