Deepak Kapur Paliath Narendran Friedrich Otto On Ground-Confluence of Term Rewriting Systems 14-31 Inf. Comput. May 1990 86 1 db/journals/iandc/iandc86.html#KapurNO90