Meeting of the Association for Symbolic Logic. - John C. Shepherdson; S. Korner; M. D. Gladstone (J. Symb. Log., 1964)

Finite Models for Inequations. - M. D. Gladstone (J. Symb. Log., 1966)

A Reduction of the Recursion Scheme. - M. D. Gladstone (J. Symb. Log., 1967)

On the number of variables in the axioms. - M. D. Gladstone (Notre Dame J. Formal Log., 1970)

Simplifications of the Recursion Scheme. - M. D. Gladstone (J. Symb. Log., 1971)

The decidability of one-variable propositional calculi. - M. D. Gladstone (Notre Dame J. Formal Log., 1979)