An abstraction algorithm for Combinatory Logic (1976)

by A Abdali
Venue:Journal of Symbolic Logic