Implementing the fool's model of combinatory logic (1991)

by R K Meyer, M A Bunder, L Powers
Venue:Journal of Automated Reasoning