Stefan Kahrs Confluence of Curried Term-Rewriting Systems. 601-623 1995 19 J. Symb. Comput. 6 db/journals/jsc/jsc19.html#Kahrs95