Uniformly Bounded Representations of GroupsL. Ehrenpreis and F. I. Mautner · Proceedings of the National Academy of Sciences of the United States of America · 1955

Some Properties of the Fourier-Transform on Semisimple Lie Groups. IIIL. Ehrenpreis and F. I. Mautner · Transactions of the American Mathematical Society · 1959

Davis Martin, Putnam Hilary, and Robinson Julia. The decision problem for exponential diophantine equations. Annals of mathematics, second series vol. 74 (1961), pp. 425–436.Rogers, Hartley · The Journal of Symbolic Logic · 1970