Voir la notice de l'article provenant de la source Math-Net.Ru
@article{AL_1991_30_4_a4, author = {L. V. Shabunin}, title = {Decidability of the elementary theories of some finitely}, journal = {Algebra i logika}, pages = {457--476}, publisher = {mathdoc}, volume = {30}, number = {4}, year = {1991}, language = {ru}, url = {http://geodesic.mathdoc.fr/item/AL_1991_30_4_a4/} }
L. V. Shabunin. Decidability of the elementary theories of some finitely. Algebra i logika, Tome 30 (1991) no. 4, pp. 457-476. http://geodesic.mathdoc.fr/item/AL_1991_30_4_a4/