1. Feng S., Sakabe T. and Inagaki Y.: “Dynamic Term Rewriting Calculus and its Application”, IEICE Technical Report, COMP 91-47, pp. 31–40, 1991. (in Japanese)
2. Feng S., Sakabe T. and Inagaki Y.: “Interpretation of Conditional Term Rewriting System by DTRC”, Proc. of 9th Conference of Japan Society for Software Science and Technology, pp. 313–316, September 1992
3. Feng S., Sakabe T. and Inagaki Y.: “Confluence and Termination of Dynamic Term Rewriting Calculus”, to be submitted.
4. Huet G. and Hullot J. M.: “Proofs by Induction in Equational Theories with Constructors”, Rapports de Recherch, INRIA,28(1980).
5. Huet G. and Lang B.: “Proving and applying program transformations expressed with second-order logic”, Acta Informatica, 11, pp. 31–55, 1978.