Enno Ohlebusch Modular Properties of Composable Term Rewriting Systems. 1-41 1995 20 J. Symb. Comput. 1 db/journals/jsc/jsc20.html#Ohlebusch95