Model Theory Makes Formulas Large.

Anuj Dawar, Martin Grohe, Stephan Kreutzer, Nicole Schweikardt

Browse the full ICALP paper archive.