Aart Middeldorp Completeness of Combinations of Conditional Constructor Systems. [Citation Graph (0, 0)][DBLP] J. Symb. Comput., 1994, v:17, n:1, pp:3-21 [Journal]
Hans Zantema Termination of Term Rewriting: Interpretation and Type Elimination. [Citation Graph (0, 0)][DBLP] J. Symb. Comput., 1994, v:17, n:1, pp:23-50 [Journal]