Transfinite Induction within Peano Arithmetic. - Richard Sommer (Ann. Pure Appl. Log., 1995)

A model-theoretic approach to ordinal analysis. - Jeremy Avigad; Richard Sommer (Bull. Symb. Log., 1997)

The Model-Theoretic Ordinal Analysis of Theories of Predicative Strength. - Jeremy Avigad; Richard Sommer (J. Symb. Log., 1999)

A Computer Environment for Writing Ordinary Mathematical Proofs. - David McMath; Marianna Rozenfeld; Richard Sommer (LPAR, 2001)

A Proof Environment for Teaching Mathematics. - Richard Sommer; Gregory Nuckols (J. Autom. Reason., 2004)

Toward More Gender Diversity in CS through an Artificial Intelligence Summer Program for High School Girls. - Marie E. Vachovsky; Grace Wu; Sorathan Chaturapruek; Olga Russakovsky; Richard Sommer; Li Fei-Fei 001 (SIGCSE, 2016)