An Inherently Iterative Computation of Ackermanns's Function. - Jerrold W. Grossman; R. Suzanne Zeitman (Theor. Comput. Sci., 1988)

Somewhat Finite Approaches to Infinite Sentences. - R. Suzanne Zeitman (Ann. Math. Artif. Intell., 1993)

Unforgettable Forgetful Determinacy. - R. Suzanne Zeitman (J. Log. Comput., 1994)