@InProceedings{Rab06,
    Author       = "Rabe, F.",
    Year         = "2006",
    Title        = "{Towards Determining the Subset Relation between
                    Propositional Modal Logics}",
    Editor       = "Sutcliffe, G. and Schmidt, R. and Schulz, S.",
    BookTitle    = "{Proceedings of the FLoC'06 Workshop on Empirically
                    Successful Computerized Reasoning, 3rd International
                    Joint Conference on Automated Reasoning}",
    Place        = "Seattle, USA",
    Series       = "CEUR Workshop Proceedings",
    Number       = "192",
    Comment      = "TPTPRef"
}