Metareasoning in Membership Equational Logic -- Fast Sort Computations for Order-Sorted