References
Ewing L. Lusk and Ross A. Overbeek, ‘The automated reasoning system ITP’, ANL-84-27, Argonne National Laboratory (April, 1984).
Ewing L. Lusk and Ross A. Overbeek, ‘Reasoning about Equality’, Journal of Automated Reasoning 1, 209–228 (1985).
Raymond M. Smullyan, To Mock a Mockingbird, Alfred A. Knopf, New York (1985).
Author information
Authors and Affiliations
Additional information
This work was supported by the Applied Mathematical Sciences subprogram of the Office of Energy Research, U.S. Department of Energy, under contract W-31-109-Eng-38.
Rights and permissions
About this article
Cite this article
Glickfeld, B., Overbeek, R. A foray into combinatory logic. Journal of Automated Reasoning 2, 419–431 (1986). https://doi.org/10.1007/BF00248251
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF00248251