Decidability of Interpretability.

Roman Feller, Michael Pinsker

Browse the full LICS paper archive.