Ramón Pino Pérez Decidability of the Restriction Equational Theory in the Partial Lambda Calculus. 129-139 1989 67 Theor. Comput. Sci. 1 db/journals/tcs/tcs67.html#Perez89