Graph Reducibility of Term Rewriting Systems.

M. R. K. Krishna Rao

Browse the full MFCS paper archive.