Logics for Classes of Boolean Monoids. - Gerard Allwein; Hilmi Demir; Lee Pike (J. Log. Lang. Inf., 2004)