Model theory makes formulas large (2007)

by A Dawar, M Grohe, S Kreutzer, N Schweikardt
Venue:Proceedings of the Thirty Fourth International Colloquium on Automata, Languages and Programming (ICALP 2007