Sabine Koppelberg A Construction of Boolean Algebras from First-Order Structures. 239-256 1993 59 Ann. Pure Appl. Logic 3 db/journals/apal/apal59.html#Koppelberg93