@article{oai:nagoya.repo.nii.ac.jp:00019075, author = {Nagashima, Masanori and Sakai, Masahiko and Sakabe, Toshiki}, journal = {Theoretical Computer Science}, month = {Dec}, note = {This paper discusses determinization of conditional term rewriting systems with oriented constructor rules. We present a rule-based transformation system, which transforms a non-deterministic one into a deterministic one, together with examples of the transformation. We prove that the transformation system is simulation sound and simulation complete. We also prove that the transformation system is complete for some class by introducing a strategy for the transformation system.}, pages = {72--89}, title = {Determinization of conditional term rewriting systems}, volume = {464}, year = {2012} }