@article{journals/jsyml/EiterG98,
  title = "On the Expressiveness of Frame Satisfiability and Fragments of Second-Order Logic",
  author = "Thomas Eiter and Georg Gottlob",
  year = "1998",
  journal = "J. Symb. Log.",
  number = "1",
  pages = "73-82",
  volume = "63",
}