Barney Glickfeld, Ross A. Overbeek. A Foray Into Combinatory Logic. Journal of Automated Reasoning, 2(4):419-431, 1986.
@article{GlickfeldO86, title = {A Foray Into Combinatory Logic}, author = {Barney Glickfeld and Ross A. Overbeek}, year = {1986}, tags = {logic}, researchr = {https://researchr.org/publication/GlickfeldO86}, cites = {0}, citedby = {0}, journal = {Journal of Automated Reasoning}, volume = {2}, number = {4}, pages = {419-431}, }