1. Avion Division, ACF Industries, Inc. Decision procedures for the functional calculus. Scientific Report No. AFCRC-TN-56-387, Air Force Cambridge Research Center, Air Research and Development Command, 1956.
2. Avion Division, ACF Industries, Inc. Decision procedures for the functional calculus(Supplementary report). Scientific Report No. AFCRC-TN-56–785, Air Force Cambridge Research Center, Air Research and Development Command, 1956.
3. Ackermann, W.Solvable Cases of the Decision Problem. North-Holland Publishing Co., Amsterdam, 1954, pp. 67–70.
4. Church, Alonzo. Special cases of the decision problem. Revue Philosophique deLouvain
49(1951), 203–221. A correction, ibid. 50(1952), 270–272.
5. Church, Alonzo. Introduction to Mathematical Logic, Vol. 1. Princeton University Press, Princeton, N. J., 1956.