CoLL: A Confluence Tool for Left-Linear Term Rewrite Systems. - Kiraku Shintani; Nao Hirokawa (CADE, 2015)

Confluence Competition 2018. - Takahito Aoto 001; Makoto Hamana; Nao Hirokawa; Aart Middeldorp; Julian Nagele; Naoki Nishida 001; Kiraku Shintani; Harald Zankl (FSCD, 2018)

Confluence Competition 2019. - Aart Middeldorp; Julian Nagele; Kiraku Shintani (TACAS (3), 2019)

CoCo 2019: report on the eighth confluence competition. - Aart Middeldorp; Julian Nagele; Kiraku Shintani (Int. J. Softw. Tools Technol. Transf., 2021)

Certification of Confluence- and Commutation-Proofs via Parallel Critical Pairs. - Nao Hirokawa; Dohan Kim 001; Kiraku Shintani; René Thiemann (CPP, 2024)

Compositional Confluence Criteria. - Kiraku Shintani; Nao Hirokawa (Log. Methods Comput. Sci., 2024)