@Article{TD90, Author = "Trybulec, A. and Darmochwal, A.", Year = "1990", Title = "{Boolean Domains}", Journal = "Journal of Formalized Mathematics", Volume = "1", Number = "1", Pages = "187-190", Comment = "TPTPRef" }