TPTP Reference: BP08

    Author       = "Benzm{\"u}ller, C. and Paulson, L.",
    Year         = "2008",
    Title        = "{Exploring Properties of Normal Multimodal Logics in
                    Simple Type Theory with LEO-II}",
    Editor       = "Benzm{\"u}ller, C. and Brown, C.E. and Siekmann, J. and
                    Statman, R.",
    BookTitle    = "{Reasoning in Simple Type Theory: Festschrift in Honour
                    of Peter B. Andrews on his 70th Birthday}",
    Series       = "Studies in Logic, Mathematical Logic and Foundations",
    Number       = "17",
    Pages        = "401-422",
    Publisher    = "College Publications",
    Comment      = "TPTPRef"