Equational formulas in order-sorted algebras
2005 ◽
pp. 674-688
◽