TY  - RPRT
TI  - Some results on combinators in the system TRC
AU  - Thomas Jech
PY  - 1998
UR  - https://arxiv.org/abs/math/9802075
ID  - math/9802075
ER  -