Kentaro Kikuchi. Ground Confluence and Strong Commutation modulo Alpha-Equivalence in Nominal Rewriting. Proceedings of the 19th International Colloquium on Theoretical Aspects of Computing (ICTAC 2022). 2022. LNCS 13572. 255-271
Kentaro Kikuchi, Takahito Aoto. Simple Derivation Systems for Proving Sufficient Completeness of Non-Terminating Term Rewriting Systems. Proceedings of the 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021). 2021. LIPIcs 213. 49:1-49:15
Tomoki Shiraishi, Kentaro Kikuchi, Takahito Aoto. A Proof Method for Local Sufficient Completeness of Term Rewriting Systems. Proceedings of the 18th International Colloquium on Theoretical Aspects of Computing (ICTAC 2021). 2021. LNCS 12819. 386-404
Kentaro Kikuchi, Takahito Aoto. Confluence and Commutation for Nominal Rewriting Systems with Atom-Variables. Proceedings of the 30th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2020). 2021. LNCS 12561. 56-73
Makoto Hamana, Kentaro Kikuchi, Date Yao Faustin Dieudonne, Kazuki Fuju. The System SOL version 2020. Proceedings of the 9th International Workshop on Confluence (IWC 2020). 2020. 81-81