Strong and Weak Operational Termination of Order-Sorted Rewrite Theories | Publicación