The Identity Problem in ℤ ≀ ℤ Is Decidable.

Ruiwen Dong

Browse the full ICALP paper archive.