Voir la notice de l'article provenant de la source Math-Net.Ru
@article{MZM_1990_47_4_a17, author = {L. V. Shabunin}, title = {Decidability of the elementary theory of a~finitely presented quasigroup}, journal = {Matemati\v{c}eskie zametki}, pages = {138--146}, publisher = {mathdoc}, volume = {47}, number = {4}, year = {1990}, language = {ru}, url = {http://geodesic.mathdoc.fr/item/MZM_1990_47_4_a17/} }
L. V. Shabunin. Decidability of the elementary theory of a~finitely presented quasigroup. Matematičeskie zametki, Tome 47 (1990) no. 4, pp. 138-146. http://geodesic.mathdoc.fr/item/MZM_1990_47_4_a17/