@inproceedings{conf/lics/EiterGG98,
  title = "Existential Second-Order Logic over Strings",
  author = "Thomas Eiter and Georg Gottlob and Yuri Gurevich",
  year = "1998",
  booktitle = "LICS",
  pages = "16-27",
}