TPTP Reference: Mul01


@InCollection{Mul01,
    Author       = "Mulvey, C.",
    Year         = "2001",
    Title        = "{Quantales}",
    Editor       = "Hazewinkel, M.",
    BookTitle    = "{Encyclopaedia of Mathematics}",
    Pages        = "312-314",
    Publisher    = "Kluwer Academic Publishers",
    Comment      = ""
}