Ichiro Mitsuhashi, Michio Oyamaguchi, Yoshikatsu Ohta, Toshiyuki Yamada. The Joinability and Unification Problems for Confluent Semi-constructor TRSs. In Vincent van Oostrom, editor, Rewriting Techniques and Applications, 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004, Proceedings. Volume 3091 of Lecture Notes in Computer Science, pages 285-300, Springer, 2004. [doi]