Ichiro Mitsuhashi, Michio Oyamaguchi, Kunihiro Matsuura. The Unification Problem for Confluent Semi-Constructor TRSs. IEICE Transactions, 93-D(11):2962-2978, 2010. [doi]
@article{MitsuhashiOM10,
title = {The Unification Problem for Confluent Semi-Constructor TRSs},
author = {Ichiro Mitsuhashi and Michio Oyamaguchi and Kunihiro Matsuura},
year = {2010},
url = {http://search.ieice.org/bin/summary.php?id=e93-d_11_2962},
researchr = {https://researchr.org/publication/MitsuhashiOM10},
cites = {0},
citedby = {0},
journal = {IEICE Transactions},
volume = {93-D},
number = {11},
pages = {2962-2978},
}