Model theory makes formulas large
Anuj Dawar‚ Martin Grohe‚ Stephan Kreutzer and Nicole Schweikardt
Book Title
International Colloquium on Automata‚ Languages and Programming (ICALP)
Pages
913−924
Series
Lecture Notes in Computer Science
Volume
4596
Year
2007