@Article{Ben11,
    Author       = "Benzm{\"u}ller, C.",
    Year         = "2011",
    Title        = "{Combining and Automating Classical and Non-Classical
                    Logics in Classical Higher-Order Logics Theory}",
    Journal      = "Annals of Mathematics and Artificial Intelligence",
    Volume       = "",
    Number       = "",
    Pages        = "",
    Publisher    = "Springer-Verlag",
    Comment      = "TPTPRef"
}