The Joinability and Unification Problems for Confluent Semi-constructor TRSs. - Ichiro Mitsuhashi; Michio Oyamaguchi; Yoshikatsu Ohta; Toshiyuki Yamada (RTA, 2004)

The Confluence Problem for Flat TRSs. - Ichiro Mitsuhashi; Michio Oyamaguchi; Florent Jacquemard (AISC, 2006)

The Joinability and Related Decision Problems for Semi-constructor TRSs. - Ichiro Mitsuhashi; Michio Oyamaguchi; Yoshikatsu Ohta; Toshiyuki Yamada (Inf. Media Technol., 2006)

The reachability and related decision problems for monadic and semi-constructor TRSs. - Ichiro Mitsuhashi; Michio Oyamaguchi; Toshiyuki Yamada (Inf. Process. Lett., 2006)

The Unification Problem for Confluent Semi-Constructor TRSs. - Ichiro Mitsuhashi; Michio Oyamaguchi; Kunihiro Matsuura (IEICE Trans. Inf. Syst., 2010)