A Semantic Approach to Order-Sorted Rewriting.

Andreas Werner A Semantic Approach to Order-Sorted Rewriting. 527-569 1998 25 J. Symb. Comput. 4 db/journals/jsc/jsc25.html#Werner98