TY - RPRT TI - Decidability of the Membership Problem for $2\times 2$ integer matrices AU - Igor Potapov AU - Pavel Semukhin PY - 2016 UR - https://arxiv.org/abs/1604.02303 ID - 1604.02303 ER -