TPTP Reference: JT51


@Article{JT51,
    Author       = "J{\'o}nsson, B. and Tarski, A.",
    Year         = "1951",
    Title        = "{Boolean Algebras with Operators, Part I}",
    Journal      = "American Journal of Mathematics",
    Volume       = "73",
    Pages        = "891-939",
    Comment      = "TPTPRef"
}