Recursive inseparability of the sets of identically valid and finitely refutable formulas of some elementary theories of varieties. Ursu, V.I. (2000) Siberian Mathematical Journal
Ring varieties closed under ideal sums Barry J. Gardner (1977) Commentationes Mathematicae Universitatis Carolinae