@Book{FM98,
    Author       = "Fitting, M. and Mendelsohn, R.",
    Year         = "1998",
    Title        = "{First-Order Modal Logic}",
    Publisher    = "Kluwer",
    Comment      = "TPTPRef"
}