TPTP Reference: Mad06


@Book{Mad06,
    Author       = "Maddux, R.",
    Year         = "2006",
    Title        = "{Relation Algebras}",
    Series       = "Studies in Logic and the Foundations of Mathematics",
    Number       = "150",
    Publisher    = "Elsevier",
    Comment      = "TPTPRef"
}