TPTP Reference: BP10


@InProceedings{BP10-ARCOE,
    Author       = "Benzm{\"u}ller, C. and Pease, A.",
    Year         = "2010",
    Title        = "{Reasoning with Embedded Formulas and Modalities in SUMO}",
    BookTitle    = "{Proceedings of ECAI 2010 Workshop on Automated Reasoning
                     about Context and Ontology Evolution}",
    Place        = "Lisbon, Portugal",
    Pages        = "11-12",
    Comment      = ""
}
@InProceedings{BP10-PAAR,
    Author       = "Benzm{\"u}ller, C. and Pease, A.",
    Year         = "2010",
    Title        = "{Progress in Automating Higher-order Ontology Reasoning}",
    BookTitle    = "{Proceedings of IJACR 2010 Workshop on Practical Aspects
                     of Automated Reasoning}",
    Place        = "Edinburgh, United Kingdom",
    Pages        = "",
    Comment      = "TPTPRef,TPTPCite"
}
@Article{BP10,
    Author       = "Benzm{\"u}ller, C. and Paulson, L.",
    Year         = "2010",
    Title        = "{Multimodal and Intuitionistic Logics in Simple Type
                    Theory}",
    Journal      = "Logic Journal of the IGPL",
    Volume       = "",
    Number       = "",
    Pages        = "",
    Publisher    = "Oxford University Press",
    Comment      = "TPTPRef"
}