TY - RPRT TI - Varieties of Boolean inverse semigroups AU - Friedrich Wehrung PY - 2016 UR - https://arxiv.org/abs/1610.07447 ID - 1610.07447 ER -