Completeness of hierarchical combinations of term rewriting systems (0)

by K Rao
Venue:In Proc. of FSTTCS’93, LNCS 761