• Order-Sorted Equality Enrichments Modulo Axioms 

      Gutiérrez, Raúl; Meseguer, José; Rocha, Camilo (SpringerBerlin., 2012)
      Built-in equality and inequality predicates based on comparison of canonical forms in algebraic specifications are frequently used because they are handy and efficient. However, their use places algebraic specifications ...