A semantic approach to order-sorted rewriting
scientific article; zbMATH DE number 1204274