Computable Fields and Weak Truth-Table Reducibility. - Rebecca M. Steiner (CiE, 2010)

Low n Boolean Subalgebras. - Rebecca M. Steiner (CiE, 2012)

Computable fields and the bounded Turing reduction. - Rebecca M. Steiner (Ann. Pure Appl. Log., 2012)

Effective algebraicity. - Rebecca M. Steiner (Arch. Math. Log., 2013)

On the Effectiveness of Symmetry Breaking. - Russell G. Miller; Reed Solomon; Rebecca M. Steiner (CiE, 2014)

Classifications of Computable Structures. - Karen M. Lange; Russell G. Miller; Rebecca M. Steiner (Notre Dame J. Formal Log., 2018)