Equational completion in order-sorted algebras extended abstract
2005 ◽
pp. 165-184
◽