https://www.informatik.uni-augsburg.de/en/chairs/dbis/pmi/staff/moeller/
This is an unofficial reimagining of the Archive of Formal Proofs
A Hierarchy of Algebras for Boolean Subsetsby Walter Guttmann and Bernhard Möller