On Repetitive Right Application of B-Terms. - Mirai Ikebuchi; Keisuke Nakano 001 (FSCD, 2018)

On properties of B-terms. - Mirai Ikebuchi; Keisuke Nakano 001 (Log. Methods Comput. Sci., 2020)

A Homological Condition on Equational Unifiability. - Mirai Ikebuchi (MFCS, 2021)

A Lower Bound of the Number of Rewrite Rules Obtained by Homological Methods. - Mirai Ikebuchi (Log. Methods Comput. Sci., 2022)

Certifying derivation of state machines from coroutines. - Mirai Ikebuchi; Andres Erbsen; Adam Chlipala (Proc. ACM Program. Lang., 2022)

Applications of Homological Algebra to Equational Theories. - Mirai Ikebuchi (2022)

Cyclic proofs and size-change termination. - Mirai Ikebuchi (Theor. Comput. Sci., 2025)

Homological Invariants of Higher-Order Equational Theories. - Mirai Ikebuchi (CoRR, 2025)