@Book{Zem73,
    Author       = "Zeman, J.",
    Year         = "1973",
    Title        = "{Modal Logic, the Lewis-Modal Systems}",
    Publisher    = "Oxford University Press",
    Comment      = "TPTPRef"
}