Equational completion in order-sorted algebras
scientific article; zbMATH DE number 4145315
scientific article