Expansions of Models of omega-Stable Theories. - Steven Buechler (J. Symb. Log., 1984)

Kueker's Conjecture for Superstable Theories. - Steven Buechler (J. Symb. Log., 1984)

"Geometrical" stability theory. - Steven Buechler (Logic Colloquium, 1985)

The Geometry of Weakly Minimal Types. - Steven Buechler (J. Symb. Log., 1985)

One Theorem of Zil'ber's on Strongly Minimal Sets. - Steven Buechler (J. Symb. Log., 1985)

Locally modular theories of finite rank. - Steven Buechler (Ann. Pure Appl. Log., 1986)

Maximal Chains in the Fundamental Order. - Steven Buechler (J. Symb. Log., 1986)

Isolated Types in a Weakly Minimal Set. - Steven Buechler (J. Symb. Log., 1987)

On Nontrivial Types of U-Rank. - Steven Buechler (J. Symb. Log., 1987)

The Classification of Small Weakly Minimal Sets II. - Steven Buechler (J. Symb. Log., 1988)

The Classification of Small Weakly Minimal Sets. III: Modules. - Steven Buechler (J. Symb. Log., 1988)

On the Existence of Regular Types. - Saharon Shelah; Steven Buechler (Ann. Pure Appl. Log., 1989)

Pseudoprojective Strongly Minimal Sets Are Locally Projective. - Steven Buechler (J. Symb. Log., 1991)

Book review: S. Shelah, Classification Theory and the Number of Non-Isomorphic Models. - Steven Buechler (Notre Dame J. Formal Log., 1992)

Lascar Strong Types in Some Simple Theories. - Steven Buechler (J. Symb. Log., 1999)

The Classification of Small Types of Rank omega, Part I. - Steven Buechler; Colleen Hoover (J. Symb. Log., 2001)

Simple stable homogeneous expansions of Hilbert spaces. - Alexander Berenstein; Steven Buechler (Ann. Pure Appl. Log., 2004)

Vaught's conjecture for superstable theories of finite rank. - Steven Buechler (Ann. Pure Appl. Log., 2008)

Essential Stability Theory - Steven Buechler (Cambridge University Press, 2017)