@Article{And89, Author = "Andrews, P.B.", Year = "1989", Title = "{On Connections and Higher-Order Logic}", Journal = "Journal of Automated Reasoning", Volume = "5", Number = "3", Pages = "257-291", Comment = "TPTPRef" }