Model theory makes formulas large (2007)

by A Dawar, M Grohe, S Kreutzer, N Schweikardt
Venue:In: Proc. of the 34th Int. Colloquium on Automata, Languages and Programming. Lecture Notes in Computer Science