TPTP Reference: Leb83


@InCollection{Leb83,
    Author       = "Leblanc, H.",
    Year         = "1983",
    Title        = "{Alternatives to Standard First-Order Semantics}",
    Editor       = "Gabbay, D. and Guenther, F.",
    BookTitle    = "{Handbook of Philosophical Logic}",
    Chapter      = "I.3",
    Volume       = "I",
    Pages        = "189-274",
    Publisher    = "D. Reidel",
    Comment      = "TPTPRef"
}