EiterGG98'

BibTeX

@inproceedings{DBLP:conf/lics/EiterGG98,
  author    = {Thomas Eiter and
               Georg Gottlob and
               Yuri Gurevich},
  title     = {Existential Second-Order Logic over Strings},
  booktitle = {LICS},
  year      = {1998},
  pages     = {16-27},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}