@InCollection{Fit00, Author = "Fitting, M.", Year = "2000", Title = "{Higher-Order Modal Logic - A Sketch}", Editor = "Caferra, R. and Salzer, G.", BookTitle = "{Automated Deduction in Classical and Non-Classical Logics}", Series = "Lecture Notes in Artificial Intelligence", Number = "1761", Pages = "23-38", Publisher = "Springer-Verlag", Comment = "TPTPRef" }