%0 Journal Article %A Yu. V. Nagrebetskaya %T On the decidability of first-order theories of groups and monoids of integer-valued matrices %J Algebra i logika %D 2000 %P 480-504 %V 39 %N 4 %I mathdoc %U http://geodesic.mathdoc.fr/item/AL_2000_39_4_a5/ %G ru %F AL_2000_39_4_a5