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