@article{oai:nagoya.repo.nii.ac.jp:00007562,
author = {Nishida, Naoki and Sakai, Masahiko and Sakabe, Toshiki},
journal = {The International Workshop on Rewriting in Proof and Computation},
month = {Oct},
note = {In this paper, we present an algorithm for generating a conditional TRS that implements the inverses of pure treeless functions defined by a pure treeless TRS which is a restricted orthogonal TRS. Our algorithm constructs conditional rules from a pure treeless TRS in such a way that each rule is reversed and then is modified according to the idea of the fusion transformation. We prove that the conditional TRS constructed by our algorithm implements the inverses of those functions defined by a given pure treeless TRS. Moreover, we show that the conditional TRS generated by our algorithm can be transformed to an equivalent TRS if the input pure treeless TRS of the algorithm is right-linear.},
pages = {188--198},
title = {Generation of Inverse Term Rewriting Systems for Pure Treeless Functions},
year = {2001}
}