Partial Evaluation of Order-Sorted Equational Programs Modulo Axioms | Publicación