@Article{Jec95, Author = "Jech, T.", Year = "1995", Title = "{Otter Experiments in a System of Combinatory Logic}", Journal = "Journal of Automated Reasoning", Volume = "14", Number = "3", Pages = "413-426", Comment = "TPTPRef" }