Equational Completion in Order-Sorted Algebras