Automatic Decidability.

Christopher Lynch, Barbara Morawska

Browse the full LICS paper archive.