Succinctness as a Source of Complexity in Logical Formalisms
Georg Gottlob‚ Nicola Leone and Helmut Veith
Journal
Ann. Pure Appl. Logic
Number
1−3
Pages
231−260
Volume
97
Year
1999
Georg Gottlob‚ Nicola Leone and Helmut Veith