M. R. K. Krishna Rao Completeness of Hierarchical Combinations of term Rewriting Systems. 125-138 1993 conf/fsttcs/1993 FSTTCS db/conf/fsttcs/fsttcs93.html#Rao93 http://dx.doi.org/10.1007/3-540-57529-4_48