TY  - RPRT
TI  - OTTER Experiments in a System of Combinatory Logic
AU  - Thomas Jech
PY  - 1994
UR  - https://arxiv.org/abs/math/9409201
ID  - math/9409201
ER  -