Succinctness as a Source of Complexity in Logical Formalisms - Gottlob, G; Leone, N; Veith, H (1999)