A modular order-sorted equational generalization algorithm | Publicación