@article{journals/jacm/EiterGG00,
  title = "Existential second-order logic over strings",
  author = "Thomas Eiter and Yuri Gurevich and Georg Gottlob",
  year = "2000",
  journal = "{J. ACM}",
  number = "1",
  pages = "77-131",
  volume = "47",
  doi = "10.1145/331605.331609",
}