Decidability of the Membership Problem for 2 2 integer matrices.

Igor Potapov, Pavel Semukhin

Browse the full SODA paper archive.