Author: Thomas Jech
Title: Some results on combinators in the system TRC
to appear in J. Symb. Logic
Abstract: We prove that various unstratified combinators
do not exist in TRC.
Author: Thomas Jech
Title: OTTER experiments in a system of combinatory logic
Journal of Automated Reasoning 14 (1995)
Abstract: In this paper we describe our experiments with OTTER
in the system TRC of illative combinatory logic.