@article{oai:nagoya.repo.nii.ac.jp:00007549,
 author = {Nishida, Naoki and Sakai, Masahiko and Kato, Terutoshi},
 journal = {Proceedings of the 9th International Workshop on Termination},
 month = {Jun},
 note = {This paper shows a sufficient syntactic condition for constructor TRSs whose inverse-computation CTRSs generated by Nishida, Sakai and Sakabe's inversion compiler are confluent and operationally terminating. By replacing the unraveling at the second phase of the compiler with Serbanuta and Rosu's transformation, we generate convergent TRSs for inverse computation of injective functions satisfying the sufficient condition.},
 pages = {77--81},
 title = {Convergent Term Rewriting Systems for Inverse Computation of Injective Functions},
 year = {2007}
}