\Bibitem{Sha91} \by L.~V.~Shabunin \paper On decidability of theories of finitely generated quasigroups in $R$-varieties of groups \jour Sibirsk. Mat. Zh. \yr 1991 \vol 32 \issue 3 \pages 201--211 \mathnet{http://mi.mathnet.ru/smj3337} \mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=1133170} \zmath{https://zbmath.org/?q=an:0744.20057} \transl \jour Siberian Math. J. \yr 1991 \vol 32 \issue 3 \pages 522--532 \crossref{https://doi.org/10.1007/BF00970492} \isi{https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=Publons&SrcAuth=Publons_CEL&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=WOS:A1991HM57400024}