@article{journals/apal/GottlobLV99,
  title = "Succinctness as a Source of Complexity in Logical Formalisms",
  author = "Georg Gottlob and Nicola Leone and Helmut Veith",
  year = "1999",
  journal = "Ann. Pure Appl. Logic",
  number = "1-3",
  pages = "231-260",
  volume = "97",
}