Combinatory interpolation theorems. - George F. McNulty; Walter Taylor (Discret. Math., 1975)

Undecidable Properties of Finite Sets of Equations. - George F. McNulty (J. Symb. Log., 1976)

Fragments of First Order Logic, I: Universal Horn Logic. - George F. McNulty (J. Symb. Log., 1977)

Connected graphs of genus g with complementary orbits. - Joan P. Hutchinson; George F. McNulty (Discret. Math., 1983)

Alfred Tarski and Undecidable Theories. - George F. McNulty (J. Symb. Log., 1986)

An Equational Logic Sampler. - George F. McNulty (RTA, 1989)

Growth Problems for Avoidable Words. - K. A. Baker; George F. McNulty; Walter Taylor (Theor. Comput. Sci., 1989)

A Field Guide to Equational Logic. - George F. McNulty (J. Symb. Comput., 1992)

Perfect Bases for Equational Theories. - Jaroslav Jezek; George F. McNulty (J. Symb. Comput., 1995)

The Existence of Finitely Based Lower Covers for Finitely Based Equational Theories. - Jaroslav Jezek; George F. McNulty (J. Symb. Log., 1995)

Dualizability and graph algebras. - Brian A. Davey; Pawel M. Idziak; William A. Lampe; George F. McNulty (Discret. Math., 2000)

Inherently nonfinitely based lattices. - Ralph Freese; George F. McNulty; James B. Nation (Ann. Pure Appl. Log., 2002)

Minimum bases for equational theories of groups and rings: the work of Alfred Tarski and Thomas Green. - George F. McNulty (Ann. Pure Appl. Log., 2004)

Equational Complexity of the Finite Algebra Membership Problem. - George F. McNulty; Zoltán Székely; Ross Willard (Int. J. Algebra Comput., 2008)

Some Variations on a Theme of Irina Mel'nichuk Concerning the Avoidability of Patterns in Strings of Symbols. - George F. McNulty (Electron. J. Comb., 2018)

A Functional Equation Characterization of Archimedean Ordered Fields. - Ralph Howard; Virginia Johnson; George F. McNulty (Am. Math. Mon., 2018)