Deepak Kapur Paliath Narendran Hantao Zhang On Sufficient-Completeness and Related Properties of Term Rewriting Systems. 395-415 1987 24 Acta Inf. 4 db/journals/acta/acta24.html#KapurNZ87 http://dx.doi.org/10.1007/BF00292110