@article{GuttmannMoeller2021,
  author    = {Walter Guttmann and Bernhard M{\"o}ller},
  title     = {A hierarchy of algebras for Boolean subsets},
  journal   = {Archive of Formal Proofs},
  number    = {31.01.2020},
  pages     = {1 -- 79},
  url       = {https://www.isa-afp.org/entries/Subset_Boolean_Algebras.html},
  year      = {2021},
}