@book{R46,
 key    =       {R46},
year={2009},
author={Benzm{\"u}ller, Christoph},
title={Automating Quantified Multimodal Logics in Simple Type Theory -- A Case Study},
series={{SEKI Working-Paper SWP-2009-02 (ISSN 1860-5931))}},
abstract={},
publisher={{SEKI Publications}},
address={{DFKI Bremen GmbH, Safe and Secure Cognitive Systems, Cartesium, Enrique Schmidt Str.\,5, D--28359 Bremen, Germany}},
note={{http://arxiv.org/abs/0905.4369}},
}