A partial evaluation framework for order-sorted equational programs modulo axioms | Publicación