Ramsey Quantifiers over Automatic Structures: Complexity and Applications to Verification.

Pascal Bergstrer, Moses Ganardi, Anthony W. Lin, Georg Zetzsche

Browse the full LICS paper archive.