Congruence relations on double Boolean algebras - Vormbrock, Björn (Preprint ;, 2003)