Weighted Path Orders Are Semantic Path Orders. - Teppei Saito; Nao Hirokawa (FroCoS, 2023)

Generalizing Weighted Path Orders. - Teppei Saito; Nao Hirokawa (CoRR, 2023)

Simulating Dependency Pairs by Semantic Labeling. - Teppei Saito; Nao Hirokawa (FSCD, 2024)

Lexicographic Combination of Reduction Pairs. - Teppei Saito; Nao Hirokawa (CADE, 2025)

An Isabelle Formalization of Co-rewrite Pairs for Non-reachability in Term Rewriting. - Dohan Kim 001; Teppei Saito; René Thiemann; Akihisa Yamada 002 (CPP, 2025)