Partial Evaluation of Order-sorted Equational Programs modulo Axioms | Publicación