On the class of QS-algebras
The class of QS-algebras is polynomially equivalent to the class of abelian groups, namely: \((G;*,0)\) is a QS-algebra iff \((G;+,0)\), where \(x+y=x*(0*y)\), is an abelian group. Then \(x*y=x-y\). This fact follows also from my paper ``On group-like BCI-algebras'' [Demonstr. Math. 21, 369--376 (1988; Zbl 0665.06011)].
scientific article; zbMATH DE number 2171621