@PhDThesis{Bal98,
    Author       = "Baldoni, M.",
    Year         = "1998",
    Title        = "{Normal Multimodal Logics: Automatic Deduction and Logic
                    Programming Extensions}",
    School       = "Universita degli studi di Torino",
    Address      = "Torino, Italy",
    Comment      = "TPTPRef"
}