TY - RPRT TI - The Booleanization of an inverse semigroup AU - Mark V. Lawson PY - 2019 UR - https://arxiv.org/abs/1803.10532 ID - 1803.10532 ER -