@Book{Pop95,
    Author       = "Popkorn, S.",
    Year         = "1995",
    Title        = "{First Steps in Modal Logic}",
    Publisher    = "Cambridge University Press",
    Comment      = "TPTPRef"
}