Proving termination of membership equational programs | Publicación