
@inproceedings{conf/dlt/EiterGS01,
  title = "Second-Order Logic over Strings: Regular and Non-regular Fragments",
  author = "Thomas Eiter and Georg Gottlob and Thomas Schwentick",
  year = "2001",
  booktitle = "{Developments in Language Theory, 5th International Conference, DLT 2001, Vienna, Austria, July 16-21, 2001, Revised Papers}",
  editor = "Werner Kuich and Grzegorz Rozenberg and Arto Salomaa",
  isbn = "3-540-43453-4",
  pages = "37-56",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  url = "http://link.springer.de/link/service/series/0558/bibs/2295/22950037.htm",
  volume = "2295",
}