Model Theory Makes Formulas Large (2007)

by Anuj Dawar, Martin Grohe, Stephan Kreutzer, Nicole Schweikardt
Venue:In Proc. of ICALP