Joyce Friedman A Semi-Decision Procedure for the Functional Calculus. 1-24 1963 10 J. ACM 1 http://doi.acm.org/10.1145/321150.321151 db/journals/jacm/jacm10.html#Friedman63