Order-sorted equality enrichments modulo axioms | Publicación