Diassociativity is not finitely based relative to power associativity
Tomasz Kowalski (2010)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
We show that the variety of diassociative loops is not finitely based even relative to power associative loops with inverse property.