Prevarieties of associative rings whose elementary theory is decidable
decidability of elementary theories of ring prevarieties
scientific article; zbMATH DE number 3664913