Nonrecursive Tilings of the Plane. II. - Dale Myers (J. Symb. Log., 1974)

The Boolean Algebras of Abelian Groups and Well-Orders. - Dale Myers (J. Symb. Log., 1974)

The Random Access Hierarchy (Preliminary Report) - Dale Myers (STOC, 1983)

Boolean Sentence Algebras: Isomorphism Constructions. - William P. Hanf; Dale Myers (J. Symb. Log., 1983)

On the Solvability of Domino Snake Problems. - Yael Etzion-Petruschka; David Harel; Dale Myers (Theor. Comput. Sci., 1994)

An Interpretive Isomorphism Between Binary and Ternary Relations. - Dale Myers (Structures in Logic and Computer Science, 1997)

Subgoal Strategies for Solving Board Puzzles. - Guoxiang Huang; Dale Myers (J. Autom. Reason., 1998)

A Simpler Approach to Integration and the Fubini Theorem. - H. S. Bear; Dale Myers (Am. Math. Mon., 2005)