@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}",
    Place        = "Seattle, USA",
    Series       = "CEUR Workshop Proceedings",
    Number       = "192",
    Comment      = "TPTPRef"
}