@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" }