Rings which Admit Elimination of Quantifiers. - Bruce I. Rose (J. Symb. Log., 1978)

The N1-Categoricity of Strictly Upper Triangular Matrix Rings Over Algebraically Closed Fields. - Bruce I. Rose (J. Symb. Log., 1978)

Model theory of alternative rings. - Bruce I. Rose (Notre Dame J. Formal Log., 1978)

Corrigendum: "Rings which Admit Elimination of Quantifiers". - Bruce I. Rose (J. Symb. Log., 1979)

Ultrahomogeneous Structures. - Bruce I. Rose; Robert E. Woodrow (Math. Log. Q., 1981)

Preservation of Elementary Equivalence Under Scalar Extension. - Bruce I. Rose (J. Symb. Log., 1982)