TY - RPRT TI - An elegant 3-basis for inverse semigroups AU - Joao Araujo AU - Michael Kinyon PY - 2010 UR - https://arxiv.org/abs/1003.4028 ID - 1003.4028 ER -