TY - RPRT TI - The universal Boolean inverse semigroup presented by the abstract Cuntz-Krieger relations AU - Mark V Lawson AU - Alina Vdovina PY - 2019 UR - https://arxiv.org/abs/1902.02583 ID - 1902.02583 ER -