Negative Solution of the Decision Problem for Sentences True in Every Subalgebra of < N, + >. - Ralph McKenzie (J. Symb. Log., 1971)

On Boolean Functions and Connected Sets. - Ralph McKenzie; Jan Mycielski; David Thompson (Math. Syst. Theory, 1971)

On Spectra, and the Negative Solution of the Decision Problem for Identities having a Finite Nontrivial Model. - Ralph McKenzie (J. Symb. Log., 1975)

The spectrum of a lattice-primal algebra. - Ralph McKenzie; Robert W. Quackenbush (Discret. Math., 1981)

Chains in Boolean algebras. - Ralph McKenzie; J. Donald Monk (Ann. Math. Log., 1982)

Clones satisfying the term condition. - Joel Berman; Ralph McKenzie (Discret. Math., 1984)

Structure of decidable locally finite varieties. - Ralph McKenzie; Matthew Valeriote (Birkhäuser, 1989)

Decidable Discriminator Varieties from Unary Varieties. - Stanley Burris; Ralph McKenzie; Matthew Valeriote (J. Symb. Log., 1991)

The Residual Bounds of Finite Algebras. - Ralph McKenzie (Int. J. Algebra Comput., 1996)

The Residual Bound of a Finite Algebra is not Computable. - Ralph McKenzie (Int. J. Algebra Comput., 1996)

Tarski's Finite Basis Problem is Undecidable. - Ralph McKenzie (Int. J. Algebra Comput., 1996)

Arithmetic of Finite Ordered Sets: Cancellation of Exponents, I. - Ralph McKenzie (Order, 1999)

Equations of tournaments are not finitely based. - Jaroslav Jezek; Petar Markovic; Miklós Maróti; Ralph McKenzie (Discret. Math., 2000)

Recursive Inseparability for Residual Bounds of Finite Algebras. - Ralph McKenzie (J. Symb. Log., 2000)

Arithmetic of Finite Ordered Sets: Cancellation of Exponents, II. - Ralph McKenzie (Order, 2000)

The Type Set of a Variety is Not Computable. - Ralph McKenzie; Japheth Wood (Int. J. Algebra Comput., 2001)

The Zig-Zag Property and Exponential Cancellation of Ordered Sets. - Ralph McKenzie (Order, 2003)

On some small cardinals for Boolean algebras. - Ralph McKenzie; J. Donald Monk (J. Symb. Log., 2004)

Finite basis problems and results for quasivarieties. - Miklós Maróti; Ralph McKenzie (Stud Logica, 2004)

Interpreting Graph Colorability in Finite Semigroups. - Marcel Jackson; Ralph McKenzie (Int. J. Algebra Comput., 2006)

The Jónsson-Kiefer Property. - Kira V. Adaricheva; Ralph McKenzie; Eric Richard Zenk; Miklós Maróti; James B. Nation (Stud Logica, 2006)

Definability in Substructure Orderings, II: Finite Ordered Sets. - Jaroslav Jezek; Ralph McKenzie (Order, 2010)

Tractability and Learnability Arising from Algebras with Few Subpowers. - Pawel M. Idziak; Petar Markovic; Ralph McKenzie; Matthew Valeriote; Ross Willard (SIAM J. Comput., 2010)

Finitely Related Clones and Algebras with Cube Terms. - Petar Markovic; Miklós Maróti; Ralph McKenzie (Order, 2012)