Universal Quantification Makes Automatic Structures Hard to Decide.

Christoph Haase, Radoslaw Pirkowski

Browse the full CONCUR paper archive.