Order-Sorted Equality Enrichments Modulo Axioms | Publicación