Selected references Joyce Friedman. A semi-decision procedure for the functional calculus. Journal of the ACM, 10(1):1-24, January 1963.