Об эквациональных теориях многообразий антикоммутативных колец

Доказано существование конечно базируемого многообразия антикоммутативных (в смысле тождества $x^2=0$) колец с неразрешимой эквациональной теорией.
Библиография: 9 названий.