loop; diassociativity; equational basis
We show that the variety of diassociative loops is not finitely based even relative to power associative loops with inverse property.
 Chang C.C., Keisler H.J.: Model Theory
. Studies in Logic and the Foundations of Mathematics, vol. 73, 3rd edition, North-Holland, Amsterdam, 1990. MR 1059055
| Zbl 0697.03022