Operational Termination of Membership Equational Programs: the Order-Sorted Way | Publicación